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}, }