Wolfram-Manfred Lippe Franz Wagner Ein Entwurf zur maschinellen Unterstützung von Korrekheitsbeweisen bei Simulationen. 413-427 1980 conf/gi/1980 GI Jahrestagung db/conf/gi/gi80.html#LippeW80