Foundations - Rogers, L. C. G.; Williams, D. (David) (Cambridge mathematical library, 2000)