Applied typing
Drummond, Archie.
McGraw-Hill,
1983