The KIV System: A Tool for Formal Program Development. - Rainer Drexler; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel; Werner Stephan 001; Andreas Wolpers (STACS, 1993)