Contractions in comparing concurrency semantics - Kok, Joost N.; Rutten, Jan J. (1987)