An introduction to OBJ: A language for writing and testing formal algebraic program specifications (1986)

by J Goguen, J Tardo
Venue:Software Specification Techniques