The Architecture of digital computers - Garside, R. G. (Oxford applied mathematics and computing science series, 1980)