<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>7601</REFNUM><AUTHORS><AUTHOR>Gilbert,D.</AUTHOR></AUTHORS><YEAR>1987</YEAR><TITLE>Executable LOTOS: Using PARLOG to Implement an EDT</TITLE><PLACE_PUBLISHED> Protocol Specification, Testing and Verification VII. Editors, H.Rudin, C.H.West, North Holland </PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><PAGES>281-295</PAGES><LABEL>Gilbert:1987:7601</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>