<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5761</REFNUM><AUTHORS><AUTHOR>Calder,M.</AUTHOR><AUTHOR>Maharaj,S.</AUTHOR><AUTHOR>Shankland,C.</AUTHOR></AUTHORS><YEAR>2001</YEAR><TITLE>An Adequate Logic for Full LOTOS</TITLE><PLACE_PUBLISHED>Proceedings of FME 2001, Lecture Notes in Computer Science, volume 2021</PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><PAGES>384-395</PAGES><LABEL>Calder:2001:5761</LABEL></RECORD></RECORDS></XML>