Object-Oriented Analysis & Design - overview using UML Larman, Craig. Applying UML and Patterns - Third Edition Object-Oriented Analysis and Design LePUS3 and Class-Z: formal modelling languages for object-oriented design