Software engineering with OBJ : Algebraic specification in action - Goguen, Joseph; Malcolm, Grant (Boston [etc] : Kluwer Acad. Publ., 2000)
Includes bibliogr. references
Keywords: Software engineering; Programming languages