Title: Theoretical Foundations of Programming Methodology
Subjects: Programming (mathematics), Computer programming, Mathematics