Jan L.A. van de Snepscheut

• Mathematics of Program Construction
• Trace Theory and VLSI Design (Lecture Notes in Computer Science)
• What Computing Is All About