<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>5810</REFNUM><AUTHORS><AUTHOR>Thomas, M.</AUTHOR></AUTHORS><YEAR>1987</YEAR><TITLE>Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language</TITLE><PLACE_PUBLISHED> Proceedings of TAPSOFT, Pisa, March 1987, Lecture Notes in Computer Science, Volume 250 </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><PAGES>197-211</PAGES><LABEL>Thomas:1987:5810</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>