mathematical Foundations Of Computer Science - Mazurktewicz Antoni; Pawlak Zdzislaw (1977)