Program speci cation and development in Standard ML (1985)

by D Sannella, A Tarlecki
Venue:In Proc. 12 ACM Symp. on Principles of Programming Languages