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

Wiskunde 2 : integraalrekening en differentiaalvergelijkingen / Dl. 3 Blok 3, Numerieke wiskunde : cursus Open Universiteit Book

P. H. M. Drijvers, P.J. van der Houwen (Piet), J. S. Lodder, P. J. I. M. de Paepe, B.P. Sommeijer (Ben) and P.M. de Zeeuw (Paul)

De bochtige weg van idee naar implementatie Miscellaneous

J.M. Anthonisse, J.K. Lenstra (Jan Karel) and M.W.P. Savelsbergh