"Semantics and proof rules of invariant based programs."

Ralph-Johan Back, Viorel Preoteasa (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics