José Meseguer, Kokichi Futatsugi and JeanPierre Jouannaud. Introducing OBJ (2000)

by Joseph Goguen, Timothy Winkler
Venue:In: Software Engineering with OBJ: Algebraic Specification in Action