THE ARCHIMEDES SYSTEM: MICROARCHITECTURE DESCRIPTION LANGUAGE AND RETARGETABLE MICROCODE DEBUGGER - NIXON, JOHN FREDRICK (ProQuest Dissertations and Theses, 1986)