Learning Logic 5.0 by Joseph DeMarco & Patrick J. Hurley