Object-oriented behavioral specifications - Kilov, Hiam (The Kluwer international series in engineering and computer science, 1996)