Behavioral specifications in object oriented programming (1995)

by D R Skuce, A Mili
Venue:Journal of Object Oriented Programming