On partial recursive definitions and programs, Fundamentals of Computation Theory (1977)

by H J Hoehnke
Venue:Lect. Notes Comput. Sci