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