@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}