Implmentation for Rosen's Discrete Mathematics and its Applications 5th - View it on GitHub