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

Bergstra, J.& Klop, J. W. (1983). The algebra of recursively defined processes and the algebra of regular processes. In Stichting Mathematisch Centrum. Informatica (IW 235/83). Stichting Mathematisch Centrum.