Use case modeling by Bittner, Kurt, Spence, Ian fromAddison-Wesley object technology series 0 Type: Book
Theoretical aspects of object-oriented programming: types, semantics, and language design 0 Type: Book
