Elementary Logic C by Benson Mates