<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5760</REFNUM><AUTHORS><AUTHOR>Calder,M.</AUTHOR><AUTHOR>Maharaj,S.</AUTHOR><AUTHOR>Shankland,C.</AUTHOR></AUTHORS><YEAR>2002</YEAR><TITLE>A Modal Logic for Full LOTOS based on Symbolic Transition Systems</TITLE><PLACE_PUBLISHED>The Computer Journal, Vol. 45, No. 1</PLACE_PUBLISHED><PUBLISHER>Oxford University Press</PUBLISHER><PAGES>55-61</PAGES><LABEL>Calder:2002:5760</LABEL></RECORD></RECORDS></XML>