The clausal theory of types /
Wolfram, D. A.
Cambridge : Cambridge University Press,
1993.
Bibliography: p107-120. - Includes index