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

by J Goguen, J Tardo
Venue:Software Specification Techniques