The clausal theory of types - Wolfram, D. A. (Cambridge Univ. Pr., 1993)
Literaturverz. S. 107 - 120