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

Bergstra, J.A, & Klop, J.W. (1983). The algebra of recursively defined processes and the algebra of regular processes. Stichting Mathematisch Centrum. Informatica. Stichting Mathematisch Centrum.