Formal Specification as a Design Tool.

John V. Guttag, James J. Horning

Browse the full POPL paper archive.