The Architecture of symbolic computers - Kogge lhPeter M