On the Fixpoints of Nondeterministic Recursive Definitions

Tsong Yueh Chen. On the Fixpoints of Nondeterministic Recursive Definitions. J. Comput. Syst. Sci., 29(1):58-79, 1984.

@article{Chen84,
  title = {On the Fixpoints of Nondeterministic Recursive Definitions},
  author = {Tsong Yueh Chen},
  year = {1984},
  researchr = {https://researchr.org/publication/Chen84},
  cites = {0},
  citedby = {0},
  journal = {J. Comput. Syst. Sci.},
  volume = {29},
  number = {1},
  pages = {58-79},
}