@inproceedings{paper19,
  title = "A Domain Equation for Bisimulation",
  author = "S. Abramsky",
  year = "1991",
  booktitle = "J. Information and Computation",
  number = "2",
  pages = "161-218",
  volume = "92",
}