@workingPaper{Feibel_1993,
title={IGLOO 1.0 : eine grafikunterstützte Beweisentwicklungsumgebung ; Benutzerhandbuch},
author={Feibel, Harald},
doi={http://dx.doi.org/10.22028/D291-25353},
year={1993}
}