"Enforcing Structural Invariants Using Dynamic Frames."

Diego Garbervetsky, Daniel Gorín, Ariel Neisen (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics