Application of OOP type theory: state, decidability, integration

@inproceedings{Eifrig1994ApplicationOO,
  title={Application of OOP type theory: state, decidability, integration},
  author={Jonathan Eifrig and Scott F. Smith and Valery Trifonov and Amy E. Zwarico},
  year={1994}
}