On partial recursive definitions and programs (1977)

by H-J Hoenke
Venue:Fundamentals of Computation Theory, volume 56 of LNCS