Stefan Conrad Unterstützung eines korrektheitszentrierten Entwurfs in Informationssystemen. 150-159 1995 BTW db/conf/btw/btw95.html#Conrad95