On partial recursive definitions and programs (1977)

by H-J Hoehnke
Venue:Lecture Notes in Computer Sci