Yoshihiko Futamura Kenroku Nogi Akihiko Takano Essence of Generalized Partial Computation. 61-79 1991 90 Theor. Comput. Sci. 1 db/journals/tcs/tcs90.html#FutamuraNT91