Formalization, history, present, and future

• 1 January 1975
• book chapter
• Published by Springer Nature in Lecture Notes in Computer Science
• p. 477-501
• https://doi.org/10.1007/3-540-07131-8_38

Abstract