Software engineering with OBJ :  Algebraic specification in action / 
Ed. by J. Goguen, G. Malcolm. 
 - Boston [etc] :  Kluwer Acad. Publ.,  2000. 
 - xxvi, 408 p.  ill. 
 - Advances in formal methods .
<br/><br/>Includes bibliogr. references 
<br/><br/><label>ISBN: </label>0-7923-8684-1 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering<br/>Programming languages