<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>7599</REFNUM><AUTHORS><AUTHOR>Gilbert,D.</AUTHOR></AUTHORS><YEAR>1990</YEAR><TITLE>Specifying Concurrent Systems using Logic</TITLE><PLACE_PUBLISHED> FORTE89- Formal Description Techniques 1989, Formal Description Techniques II, Editor S.T. Vuong, North-Holland 1990. </PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><PAGES>245-260</PAGES><LABEL>Gilbert:1990:7599</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>