1991
7 references published this year.
Formally verified synthesis of combinational CMOS circuits
David A. Basin and others (1991) · Integration, the VLSI Journal · Elsevier BV
Reasoning about Dynamically Evolving Process Structures; a proof theory for the parallel object-oriented language pool
Frank S. de Boer (1991) · Vrije Universiteit Amsterdam
Models of Peano Arithmetic
Richard Kaye (1991) · Oxford University Press
Design by Contract
Bertrand Meyer (1991) · Advances in Object-Oriented Software Engineering · Prentice-Hall
Notions of computation and monads
Eugenio Moggi (1991) · Information and Computation · Elsevier
Foundations without foundationalism: A case for second-order logic
Stewart Shapiro (1991) · Clarendon Press
DARPA Technical Accomplishments. Volume II. An Historical Review of Selected DARPA Projects
Richard H. Van Atta and others (1991) · Institute for Defense Analyses