Object-Oriented Behavoiral Specifications, The Kluwer International Series in Engineering and Computer Science