Clipper TM 32-bit microprocessor : User's manual (Prentice Hall, 1987)