Some notes on putting formal specifications to productive use. Science of Computer Programming 2:53--68 (1982)

by J Guttag, J Horning, J Wing