"Proving Functional Equivalence for Program Slicing in SPARK™."

Ricky E. Sward, Leemon C. Baird III (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics