Gersting, J. <br/><br/>
Mathematical Structure for Computer Science 

 - New York  Freeman