"Dynamic Frames in Java Dynamic Logic."

Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics