Programming semantics for multiprogrammed computations (1966)

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