Formal program development in Extended ML for the working programmer (1990)

by Don Sannella
Venue:In Proc. 3rd BCS/FACS Workshop on Re nement