"A Proof Framework for Concurrent Programs."

Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics