Mikhail A. Bulyonkov From Partial Evaluation to Mixed Computation. 47-60 1991 90 Theor. Comput. Sci. 1 db/journals/tcs/tcs90.html#Bulyonkov91