Title: Computer programming and formal systems
First published: 1963
Subjects: Computer programming
LC classification: QA76 .B7