Fundamentals of digital machine computing. - Hintze, Guenther (Spring-Verlag, 1966)