"A Formal Description of System/360" Readable (kind of) here: https://www.yumpu.com/en/document/view/40763566/a-formal-description-of-system-360 https://www.yu

"A Formal Description of System/360" Readable (kind of) here: https://www.yumpu.com/en/document/view/40763566/a-formal-description-of-system-360 https://www.yumpu.com/en/document/view/40763566/a-formal-des...