Object-Oriented Behavioral Specifications - Kilov, Haim. (Springer US, 1996)