An introduction to obj: a language for writing and testing formal algebraic program specifications (1979)

by J A Goguen, J J
Venue:In Proceedings of the Conference on Specifications of Reliable Software