Method Sequence Specification and Verification of Classes

@article{Kirani1994MethodSS,
  title={Method Sequence Specification and Verification of Classes},
  author={Shekhar H. Kirani and Wei-Tek Tsai},
  journal={JOOP},
  year={1994},
  volume={7},
  pages={28-38}
}