@article{non-well-founded-sets,
  title = "On transition systems and non-well-founded sets",
  author = "A. W. Roscoe and R.S. Lazic",
  year = "1996",
  journal = "Annals of the New York Academiy of Sciences",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/62.pdf",
  volume = "806",
}