Prospects for hardware foundations : ESPRIT Working Group 8533 : NADA--new hardware design methods, survey chapters / - Möller, Bernhard; Tucker, J. V. (Springer, 1998)