Object specification logic (1995)

by A Sernadas, C Sernadas, J F Costa
Venue:J. of Logic & Computation