Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
1
Proceedings of Conference on Data: Abstraction, Definition and Structure, Sigplan Notices, Vol. 8, No. 2 (1976).
2
D. Brand, "Proving Programs Incorrect", Technical Report 99, Dept. of Computer Science, University of Toronto, Sept. 1976.
3
W. A. Wulf, "ALPHARD Towards a Language to Support Structured Programs", Carnegie-Mellon University, April 1974.