CWI
J.W. Klop (Jan Willem) , J.J.C. Meijer , J.J.M.M. Rutten (Jan)
Specification and Analysis of Embedded Systems

de Bakker, J., & Scott, D. (1989). A theory of programs : an outline of joint work : IBM seminar Vienna, August 1969. In J. W. Klop, J. J. C. Meijer, & J. Rutten (Eds.), J.W. de Bakker, 25 jaar semantiek (pp. 1–30). CWI.