You are about to access our book library "Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System (Lecture Notes in Computer Science, 680) full version" .