An introduction to OBJ: A language for writing and testing software (1979)

by J A Goguen, J Tardo
Venue:In Specification of Reliable Software