"A Modular, Extensible Proof Method for Small-Step Flow Analyses."

Mitchell Wand, Galen B. Williamson (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics