Program specification and development (1985)

by D Sannella, A Tarlecki
Venue:in Standard ML”. POPL