Partsch, HelmuthMöller, Bernhard2018-02-022018-02-021987https://dl.gi.de/handle/20.500.12116/15673deKonstruktion korrekter Programme durch TransformationText/Journal Article