Mathematical Foundations of Computer Science 2002 door Springer-Verlag, K. Diks & W. Rytter