Discrete Mathematics Using A Computer door Rex Page & Cordelia Hall