@article{ReSt:04,
  title = {Semantics and logic of object calculi},
  pages = {191-213},
  author = {B. Reus and T. Streicher},
  journal = {Theoret.~Comp.~Sc.},
  number = {1-3},
  year = {2004},
  volume = {316},
}