Semantics, calculi, and analysis for object-oriented specifications - Brucker, Achim D (Acta Informatica)