@inproceedings{ReifSSB98, Author = {W. Reif and G. Schellhorn and K. Stenzel and M. Balser}, Booktitle = {Automated Deducation - A Basis for Applications}, Editors = {W. Bibel and P. Schmitt}, Publisher = pub-klu, Title = {Structured specifications and interactive proofs with {KIV}}, Year = 1998}