Logical Foundations Vscs C by John Macnamara & Gonzalo E. Reyes