An introduction to automatic digital computers - Livesley, R. K. (University Press, 1957)