J. V. Tucker

1952

• Many-sorted logic and its applications
• Program correctness over abstract data types, with error-state semantics
• Prospects for hardware foundations
• Theoretical foundations of VLSI design