Axiomatic Definability and Completeness for Recursive Programs.

Albert R. Meyer, John C. Mitchell

Browse the full POPL paper archive.