Semantics and logic of object calculi

@article{Reus2004SemanticsAL,
  title={Semantics and logic of object calculi},
  author={Bernhard Reus and Thomas Streicher},
  journal={Theor. Comput. Sci.},
  year={2004},
  volume={316},
  pages={191-213}
}