A Modular, Extensible Proof Method for Small-Step Flow Analyses. - Mitchell Wand; Galen B. Williamson (ESOP, 2002)