"Evolving specifications formally."

Prahladavaradan Sampath, Silky Arora, S. Ramesh (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics