" Mathematical structures for computer science : " Judith L. Gersting, Indiana University-Purdue University at Indianapolis