"Efficient Self-composition for Weakest Precondition Calculi."

Christoph Scheben, Peter H. Schmitt (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics