Formal object-oriented development /
Lano, K.
London : Springer-Verlag,
c1995.