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
IBM Corp.
Riverton, NJ, USA
Pages 198-261
June 1964
Note(s): ISA specification, formal specification