A formal description of SYSTEM/360

Adin D. Falkoff, Kenneth E. Iverson, Edward H. Sussenguth
[doi] [Google Scholar] [DBLP] [Citeseer]

IBM Systems Journal 3(2)
IBM Corp.
Riverton, NJ, USA
Pages 198-261
June 1964
Note(s): ISA specification, formal specification