Gordon , M.J.C. et al "A Metalanguage for Interactive Proof in LCF"

[POPL 1978] (1978) [ACM SIGACT-SIGPLAN] Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages 1978 , Tucson, Arizona  

Languages mentioned ML {1973} Meta Language