Program Documentation - Hoare, C (Computing Research Division‚ Elliott Brothers Ltd, 1968)