"An Institution for Event-B."

Marie Farrell, Rosemary Monahan, James F. Power (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics