Helmut A. Partsch1950 · 3 obras en el catálogoObrasSpecification and Transformation of Programs Monographs in Computer ScienceFormal program developmentSpecification and transformation of programs