ALGEBRAIC SPECIFICATION (ACM PRESS FRONTIER SERIES) By J. A. Bergstra & J.

A nice touch in this textbook is the summary boxes at the end of every section.