Learning Logic 5.0 door Joseph DeMarco & Patrick J. Hurley