Discrete mathematics using a computer - Hall, Cordelia (Springer, 2000)