<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5799</REFNUM><AUTHORS><AUTHOR>Kirkwood,C.</AUTHOR><AUTHOR> Thomas,M.</AUTHOR></AUTHORS><YEAR>1995</YEAR><TITLE>Experiences with LOTOS: A Report on Two Case Studies</TITLE><PLACE_PUBLISHED> Proceedings of WIFT '95 </PLACE_PUBLISHED><PUBLISHER>IEEE Computer Society Press</PUBLISHER><PAGES>159-172</PAGES><LABEL>Kirkwood:1995:5799</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>