Mathematical foundations of computer science. - Fejer, Peter A. (Texts and monographs in computer science, 1991)