B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E.P. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiß, W. Windsteiger (ed.). Hagenberg Research. 2009. Springer Dordrecht Heidelberg London New York, ISBN 978-3-642-02126-8. [url] [bib]
	Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (ed.). Towards Mechanized Mathematical Assistants. Proceedings of Calculemus 2007 and MKM 2007, Lecture Notes in Computer Science, 4573, 2007. Springer, Heidelberg, ISSN 0302-9743. [url] [bib]
	Christoph Benzmüller, Wolfgang Windsteiger (ed.). Computer-Supported Mathematical Theory Development. Proceedings of Workshop on Computer-Supported Mathematical Theory Development, July 2004. University College Cork, Ireland, ISBN 3-902276-04-5. In the frame of IJCAR'04. [url] [bib]