Title: On Concurrent Programming, Author: Fred B. Schneider
Title: A Logical Approach to Discrete Math, Author: David Gries