Publication

Uit het Zuiden... Book Chapter

J. Paredaens

What is in a step Book Chapter

A. Pnueli and M. Shalev

The decent philosophers: an exercise in operational semantics of concurrent systems Book Chapter

W. Reisig

Programmacorrectheid en het college Inleiding informatica Book Chapter

R.P. van de Riet (Reind)

Applications of computability theory over abstract data types Book Chapter

J.V. Tucker (John)

1964 - MC - J.W. de Bakker - CWI - 1989 Book Chapter

L. Vasmel-Kaarsemaker

Over $\Phi$'s en $\Psi$'s Book Chapter

J.C. van Vliet (Hans)

Scientific programme 1989 : long-range plan 1990-1994. part 1 Book