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. Stichting Mathematisch Centrum. Informatica. Stichting Mathematisch Centrum.