Hints on Programming Language Design - Hoare, C (Pergamon/Infotech, 1974)