Title: Recursive procedures
First published: 1971
Subjects: Formal languages, Recursive functions
LC classification: QA267.3 .B34