An introduction to OBJ (1979)

by J A Goguen, J J Tardo
Venue:Proceedings of SRS, Specifications of Reliable Software