AD Falkoff, KE Iverson, EH Sussenguth - IBM Systems Journal, 1964 - ieeexplore.ieee.org
This paper presents a precise formal description of a complete computer system, the IBM
SYSTEM/360 The description is functional: it describes the behavior of the machine as seen …