ABC ALGOL : a portable language for formula manipulation systems - Part 1 The Language Book

R.P. van de Riet (Reind)

Generalized Markovian decision processes, part III: applications Book

G. de Leve (Gijs), H.C. Tijms (Henk) and P.J. Weeda

Queueing models involving buffers Book

F. Göbel

Recursive program schemes: semantics and proof theory Book

W.P. de Roever

Contracting Markov decision processes Book

J.A.E.E. van Nunen

A theoretical and computational study of generalized aliquot sequences Book

H.J.J. te Riele (Herman)

Foundations of computer science II : [second advanced course on the foundations of computer science, organized by the Mathematical Centre and took place at the University of Amsterdam, 31.05-11.06.1976] : Part 1 Book

ABC ALGOL : a portable language for formula manipulation systems - Part 2 The compiler Book

R.P. van de Riet (Reind)