"Abstracting C with abC."

Dennis Dams, William Hesse, Gerard J. Holzmann (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics