Algebraic methodology and software technology :  6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings / 
 AMAST '97 
Michael Johnson, ed. 
 - Berlin :  Springer,  1997 
 - 591 p. 
 - Lecture notes in computer science ;  no. 1349 .
<br/><br/><label>ISBN: </label>3540638881 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering--Congresses<br/>Abstract data types (Computer science)--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.758  / I5713 1997