Object specification logic (1995)

by A Sernadas, C Sernadas, J F Costa
Venue:Journal of Logic and Computation