@inproceedings{paper23,
  title = "Full Abstraction in the Lazy {\lambda}-calculus",
  author = "S. Abramsky and C.-H. L. Ong",
  year = "1993",
  booktitle = "Information and Computation, 105(2)",
  pages = "159-268",
}