SIGPLAN Notices 7(01) January 1972 [ACM] Proc. ACM Conf. on Proving Assertions about Programs. New Mexico State University, Las Cruces, New Mexico (1972)

[SIGPLAN] SIGPLAN Notices  

Good, D. I. and Ragland, L, C., (1972) Good, D. I. and Ragland, L, C., "Nucleus - A Language of Provable Programs" Milner, Robin (1972) Milner, Robin "Implementation and applications of Scott's logic for computable functions" pp1-6