Mathematical Foundations of Computer Science 1999 Lecture Notes in Computer Science 1672 - Kutylowski Miroslaw; Leszek Pacholski (New York Springer, 1999)