Structured specifications and interactive proofs with KIV. Reif, W.; Schellhorn, G.; Stenzel, K.; and Balser, M. In Automated Deducation - A Basis for Applications, 1998. pub-klu.
bibtex   
@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}
Downloads: 0