Program Specification and Development in Standard ML.

Donald Sannella, Andrzej Tarlecki

Browse the full POPL paper archive.