Rance Cleaveland CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings CONCUR Lecture Notes in Computer Science 630 Springer 1992 3-540-55822-5 db/conf/concur/concur1992.html