<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>6606</REFNUM><AUTHORS><AUTHOR>Gilbert,D.</AUTHOR></AUTHORS><YEAR>1990</YEAR><TITLE>Specification and Implementation of Concurrent Systems using PARLOG</TITLE><PLACE_PUBLISHED>Workshop on Specification and Verification of Concurrent Systems, organised by BCS-FACS, 6-8 July, 1988 Stirling, Scotland. Published by Springer Verlag 1990. </PLACE_PUBLISHED><PUBLISHER>Academic Press</PUBLISHER><LABEL>Gilbert:1990:6606</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>