Object-Oriented Behavioral Specifications - Kilov, Haim; Harvey, William (Springer US, 1996)