1. Broy M (2004) Service-oriented systems engineering: specification and design of services and layered architectures—the JANUS approach. Working material, international summer school 2004, Marktoberdorf, Germany
2. Wegner P (1997) Why interaction is more powerful than algorithms. Commun ACM 40(5):80–91
3. Broy M, Stølen K (2001) Specification and development of interactive systems: focus on streams, interfaces, and refinement. Monographs in computer science. Springer, Berlin
4. Kahn G (1974) The semantics of a simple language for parallel programming. In: Rosenfeld J (ed) Inf Process, North–Holland, 74:471–475
5. Kahn G, MacQueen D B (1977) Coroutines and networks of parallel processes. In: Gilchrist B (ed). Inform Process North-Holland 77:993–998