Recent trends in data type specification :  11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers / 
Magne Haveraaen, Olaf Owe and Ole-Johan Dahl, eds. 
 - Berlin :  Springer,  1996 
 - 550 p. 
 - Lecture notes in computer science ;  v. 1130 .
<br/><br/><label>ISBN: </label>3540616292 
<br/><br/><label>ISSN: </label>03029743 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Abstract data types (Computer science)--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.9 A23  / W67 1995