1. L. Aceto and M. Hennesy: Towards actionrefinement in pro-cess algebras. Technical Report 3/88, Dept. Comp. Sci. Univ. of Sussex, Brighton, (1988).
2. J.D. Brock and W.B. Ackerman: Scenarios: A model of non- determinate computation. In: J. Diaz and I. Ramos (eds.), Proc. of the International Colloquium on Formalization of Programming Concepts, Peniscola 1981, Lect. Notes Comp. Sci. 107 (1981) 252–259.
3. B. Baumgarten: On internal and external characterizations of PT-net building block behaviour. In: G. Rozenberg (ed.), Advances in Petri Nets 1988, Lect. Notes Comp. Sci. 340 (1988) 44–61.
4. W. Brauer and U. Brauer: Wissenschaftliche Herausforderung für die Informatik: Änderungen von Forschungszielen und Denkgewohnheiten. In: W. Langenheder, G. Müller, B. Schinzel (eds.), Informatik cui bono? Springer (1992) 11–19.
5. G. Boudol and I. Castellani: On the semantics of concurrency: Partial orders and transition systems. In: H. Ehriget al. (eds.), TAPSOFT 87, Vol. I, Lect. Notes Comp. Sci. 249 (1987) 123– 137.