JJ Donovan, HF Ledgard - Proceedings of the November 14-16, 1967 …, 1967 - dl.acm.org
This paper presents two basic results: the use of established methods of recursive definition
to present a single method to 1. specify the syntax of computer languages (including context …