<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5188</REFNUM><AUTHORS><AUTHOR>Boulton,R.J.</AUTHOR></AUTHORS><YEAR>1997</YEAR><TITLE>A Tool to Support Formal Reasoning about Computer Languages</TITLE><PLACE_PUBLISHED>Proceedings of 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACA'97, Enschede, The Netherlands. Published as LNCS, (Brinksma, E., Ed). Volume No. 1217. Lecture Notes in Computer Science Vol. 117 </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><PAGES>81-95</PAGES><ISBN>3-540-62790-1</ISBN><LABEL>Boulton:1997:5188</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>