Applied typing - Drummond (McGraw-Hill, 1978)