Jan L. A. Van de Snepscheut

1953

• What computing is all about
• Mathematics of program construction
• Trace theory and VLSI design