Arthur B. Pyster. Using assertions to improve language translators. In American Federation of Information Processing Societies: 1977 National Computer Conference, June 13-16, 1977, Dallas, Texas, USA. Volume 46 of AFIPS Conference Proceedings, pages 665-668, AFIPS Press, 1977. [doi]
Abstract is missing.