Object-oriented behavioral specifications - Kilov, Hiam.; Harvey, William, (The Kluwer international series in engineering and computer science ;)