Bibel W. Deduktion : Automatisierung der Logik / W.Bibel;Unter Mitarbeit von S.Holldobler, 1992. - 269 S. - Текст : непосредственный.