Reitman and. “An Axiomatic Approach to Information Flow in Programs (1980)

by G R Andrews, R P
Venue:In: ACM Trans. Program. Lang. Syst