Introduction to OBJ (1993)

by J Goguen, T Winkler, J Meseguer, K Futatsigi, j Jouannaud