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