Milner, Robin "Implementation and applications of Scott's logic for computable functions" pp1-6

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

Languages mentioned CUCH {1966} ISWIM {1966} Landin's paper language LCF {1972} Logic for Computable Functions MLISP {1968} OWHY {1969}