Aaron M. Tenenbaum: Type Determination for very High Level Languages. New York University, USA 1974