Programming semantics for multiprogrammed computation (1966)

by J Dennis, E Van Horn
Venue:Communications of the ACM