Mathematical Foundations of Computer Science 1999Miroslaw Kutylowski, Leszek Pacholski, Tomasz Wierzbicki₹3,749