"The KIV System: A Tool for Formal Program Development."

Rainer Drexler et al. (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics