A Compositional Logic for Control Flow.

Gang Tan Andrew W. Appel A Compositional Logic for Control Flow. 80-94 2006 conf/vmcai/2006 VMCAI http://dx.doi.org/10.1007/11609773_6 db/conf/vmcai/vmcai2006.html#TanA06