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. Seguir leyendo →
