Formal object-oriented development - Lano, K. (London Springer-Verlag, 1995)
Keywords: Object-Oriented Programming (Computer Science)