A Transfinite Type Thepry With Type Variables - Andrews P.B. (Amsterdam North Holland Publishing Company, 1965)