Theory and Practice of Software Technology, edited by D. Ferrari, M. Bolognani, and J. Goguen, North-Holland, 1982

• Goguen, J. Meseguer, J. and Plaisted, D. (1982) Goguen, J. Meseguer, J. and Plaisted, D. "Programming with parametrized abstract objects in OBJ"