<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>7851</REFNUM><AUTHORS><AUTHOR>Sinnott,R.O.</AUTHOR></AUTHORS><YEAR>1993</YEAR><TITLE>The Formal Specification of Electronic Components in LOTOS</TITLE><PLACE_PUBLISHED>MSc Thesis, University of Stirling, Scotland, 1993 </PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><LABEL>Sinnott:1993:7851</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>