F. Lockwood Morris. Advice on structuring compilers and proving them correct. In Proceedings of the First ACM Symposium on Principles of Programming Languages, pages 144-152, 1973.
author author author title title title title title title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle pages pages date