Title: A Formalistic Approach to Freshman Computer Course II
Subjects: Computer science