Algebraic Specifications in Software Engineering häftadEngelska, 2011