@inproceedings{paper11,
  title = "Observation Equivalence as a Testing Equivalence",
  author = "S. Abramsky",
  year = "1987",
  booktitle = "J. Theoretical Computer Science",
  chapter = "53",
  pages = "225-241",
}