Prospects for Hardware Foundations : ESPRIT Working Group 8533 NADA . New Hardware Design Methods Survey Chapters - Bernhard Möller, John V. Tucker ((Lecture Notes in Computer Science))