Formal object-oriented development / - Lano, K. (Springer,, 1995)