Title: A Relational Theory of Computing (Lecture Notes in Computer Science)
Subjects: Electronic digital computers, programming, Metamathematics