De Nicola, Rocco and Smolka, Scott A. Concurrency: Theory and Practice. ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research, 28 (4es). p. 52. ISSN 0360-0300 (1996)