Algebraic Specifications in Software Engineering An Introduction Horebeek Ivo Van Heftet / 2011 / Engelsk
