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

de Bakker, J., Bergstra, J., & Klop, J. W. (1982). Linear time and branching time semantics for recursion with merge. Stichting Mathematisch Centrum. Informatica. Stichting Mathematisch Centrum.