<XML><RECORDS><RECORD><REFERENCE_TYPE>1</REFERENCE_TYPE><REFNUM>7283</REFNUM><AUTHORS><AUTHOR>Sinnott,R.O.</AUTHOR><AUTHOR>Turner,K.J.</AUTHOR></AUTHORS><YEAR>1994</YEAR><TITLE>DILL: Specifying Digital Logic in LOTOS</TITLE><PLACE_PUBLISHED> Proceedings of Formal Description Techniques VI </PLACE_PUBLISHED><PUBLISHER>North-Holland</PUBLISHER><PAGES>71-86</PAGES><LABEL>Sinnott:1994:7283</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>