Title: First-order programming theories
Subjects: Electronic digital computers, Programming