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