Fundamentals of Digital Machine Computing - Hintze, Guenther (Springer-Verlag New York, 1966)