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

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

Languages mentioned OBJ {1976}