2000, `A Semantic Approach to Secure Information Flow'. Science of Computer Programming 37(1 (0)

by K R M Leino, R Joshi