@article{FixedPoints,
  title = "Fixed points without completeness",
  author = "A. W. Roscoe and M.W. Mislove and S.A. Schneider",
  year = "1993",
  chapter = "2",
  journal = "{Theoretical Computer Science}",
  pages = "273--314",
  volume = "138",
}