BAETEN,J.C.M (ED), KLOP,J.W (ED) CONCUR'90-THEORIES OF CONCURRENCY: UNIFICATION AND EXTENSION,AMSTERDAM,AUGUST 1990 PROCEEDINGS (LNCS - BERLIN SV 1990 - 536 BR-28 ISBN: NCST 69 Dewey Class. No.: 405