Verification of an Algol 68 implementation

• 29 March 1977
• journal article
• Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
• Vol. 12  (6) , 117-128
• https://doi.org/10.1145/872738.807151

Abstract