Mathematical logic for computer science - Ben-Arî, Môtî 1948- (Prentice Hall, 1993)
Literaturverz. S. 274 - 277