Causey, R. L. Logic, sets, and recursion - 2nd ed. - Sudbury, Massachusetts Jones and Bartlett Publishers 2006 - ix, 512p. ISBN: 0-7637-3784-4