Kilov, Hiam. Object-oriented behavioral specifications / by Hiam Kilov, William Harvey. - Boston : Kluwer Academic Publishers, c1996. - xiii, 316 p. - The Kluwer international series in engineering and computer science ; SECS 371. . ISBN: 0792397789 Subjects--Topical Terms: Object-oriented programming (Computer science).