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

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