Stichting Mathematisch Centrum
Stichting Mathematisch Centrum. Informatica
Specification and Analysis of Embedded Systems

Bergstra, J.& Klop, J. W. (1983). A process algebra for the operational semantics of static data flow networks. In Stichting Mathematisch Centrum. Informatica (IW 222/83). Stichting Mathematisch Centrum.