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

by D Sannella, A Tarlecki
Venue:in Lecture Notes in Computer Science