Toward formal development of ML programs: foundations and methodology (1989)

by D Sannella, A Tarlecki
Venue:Laboratory for Foundations of Computer Science, Dept. of Computer Science, Univ. of Edinburgh