Mathematical foundations of computer science : vol I : sets relations and induction - Peter A Fejer, Dan a Simovici (Springer - Verlag, New York, 1991)