Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development | Publicación