Use Case Modeling - Kurt Bittner, Ian Spence (Addison-Wesley, 2003)