On the Relationship between Computed Functions and Fixpoints of Nondeterministic Recursive Definitions

On the Relationship between Computed Functions and Fixpoints of Nondeterministic Recursive Definitions Tsong Yueh Chen 13-22 Inf. Control. July 1981 50 1 db/journals/iandc/iandc50.html#Chen81 https://doi.org/10.1016/S0019-9958(81)90117-0