Discrete Mathematics Using A Computer by Rex Page & Cordelia Hall