applied typing - "drummond, a m. " (uk : mcgraw-hill, 1971)