Issue No. 05 - May (1978 vol. 11)
M.R. Barbacci , Carnegie-Mellon University
Does the reference manual actually describe the real computer? Not entirely, but the authors, starting with a simulation based on the written word, worked out the remaining errors using the machine diagnostics as the last word.
A. Parker and M. Barbacci, "Using Emulaion to Verify Formal Architecture Descriptions," in Computer, vol. 11, no. , pp. 51-56, 1978.