Programming semantics for multiprogrammed computations (1966)

by J B Dennis, E C VanHorn
Venue:Comm. ACM 9