Hacker News new | comments | show | ask | jobs | submit login

"A Formal Description of System/360"

Readable (kind of) here: https://www.yumpu.com/en/document/view/40763566/a-formal-des...




Nice find!




Applications are open for YC Summer 2018

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: