Wolfram Pohlers: Mathematische Grundlagen der Informatik. Handbuch der Informatik 1.5, Oldenbourg 1993, ISBN 978-3-486-22113-8, pp. 1-193