Automatic digital computers - Wilkes, M. V. (Methuen Wiley, 1957)