Object-oriented system development - De Champeaux (Addison-Wesley, 1993)