Introduction to real time (International Computers Ltd, 1972)