Bernhard Möller, John V. Tucker: Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA - New Hardware Design Methods, Survey Chapters. Lecture Notes in Computer Science 1546, Springer 1998, ISBN 3-540-65461-5