Programming Semantics for Multiprogrammed Computations (1966)

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