<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5807</REFNUM><AUTHORS><AUTHOR>Thomas, M.</AUTHOR></AUTHORS><YEAR>1990</YEAR><TITLE>From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1</TITLE><PLACE_PUBLISHED> Formal Description Techniques II,S.T. Vuong (Ed.) </PLACE_PUBLISHED><PUBLISHER>Elsevier Science</PUBLISHER><PAGES>517-532</PAGES><LABEL>Thomas:1990:5807</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>