Joost N. Kok Jan J. M. M. Rutten Contractions in Comparing Concurrency Semantics. 179-222 1990 76 Theor. Comput. Sci. 2-3 db/journals/tcs/tcs76.html#KokR90