Mathematical foundations of computer science. Volume I: Sets, relations, and induction. - Springer Verlag, 1990. - ( Texts and Monographs in Computer Science ).