Jos C. M. Baeten Jan Willem Klop CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings CONCUR Lecture Notes in Computer Science 458 Springer 1990 3-540-53048-7 db/conf/concur/concur1990.html