(untitled) - Rosenberg, S; Leino, R (Synthesis, 2009)