MATHEMATICAL STRUCTURES FOR COMPUTER SCINCE - GERSTINE JUDITH (FREEMAN AND COMPANY PUB., 2002)