Goguen, Joseph and Joseph Tardo. "An introduction to OBJ: A language for writing and testing software specifications"

(1985) Zelkowitz, Marvin (ed) Specification of Reliable Software, IEEE, 1979.   Joseph Goguen

Languages mentioned OBJ {1976}