Correctness of effect-based program transformations (2008)

by M Hofmann
Venue:Formal Logical Methods for System Security and Correctness