A semantic approach to secure information flow (1998)

by K R M Leino, R Joshi
Venue:in Proc. Mathematics of Program Construction, vol. LNCS 1422