J.A. Goguen, D. Coleman and R. Gallimore "Applications of Algebraic Specification using OBJ", Cambridge Press, 1992

Languages mentioned

• OBJ {1976}