Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications | Publicación