Tsong Yueh Chen On the Fixpoints of Nondeterministic Recursive Definitions. 58-79 1984 29 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss29.html#Chen84