Achim D. Brucker Burkhart Wolff Semantics, calculi, and analysis for object-oriented specifications. 255-284 2009 46 Acta Inf. 4 http://dx.doi.org/10.1007/s00236-009-0093-8 db/journals/acta/acta46.html#BruckerW09