A Fixpoint Semantics for Nondeterrninistic Data Flow (1983)

by J STAPLES, V L NGUYEN