Algebraic system specification and development :  a survey and annotated bibliography / 
M. Bidoit ... [et al.], eds. 
 - Berlin :  Springer,  1991 
 - 98 p. 
 - Lecture notes in computer science ;  no. 501 .
<br/><br/><label>ISBN: </label>3540540601 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Abstract data types (Computer science)
<br/><br/><label>LC Class. No.: </label>QA76.9 A23  / A444