The Architecture of Symbolic Computers - Kogge, Peter M. (McGraw-Hill, 1991)