<XML><RECORDS><RECORD><REFERENCE_TYPE>1</REFERENCE_TYPE><REFNUM>6603</REFNUM><AUTHORS><AUTHOR>Gilbert,D.</AUTHOR><AUTHOR>Hogger,C.</AUTHOR><AUTHOR>Zlatuska,J.</AUTHOR></AUTHORS><YEAR>1994</YEAR><TITLE>Transforming specifications of observable behaviour into programs</TITLE><PLACE_PUBLISHED> </PLACE_PUBLISHED><PUBLISHER>Springer Verlag</PUBLISHER><LABEL>Gilbert:1994:6603</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>