"Owicki/Gries in Isabelle/HOL."

Tobias Nipkow, Leonor Prensa Nieto (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics