Mathematical Foundations of Computer Science 1999 door L. Pacholski, Mirosaw Kutyowski & M. Kutylowski