A fixpoint semantics for nondeterministic data flow (1985)

by John Staples, V L Nguyen
Venue:Journal of the ACM