On the partial computation principle (1977)

by A P Ershov
Venue:Information Processing Letters 6