Object Specification Logic

@article{Sernadas1995ObjectSL,
  title={Object Specification Logic},
  author={Am{\'i}lcar Sernadas and Cristina Sernadas and Jos{\'e} F{\'e}lix Costa},
  journal={J. Log. Comput.},
  year={1995},
  volume={5},
  pages={603-630}
}