S. Becker. Recht auf ein gesichertes Alter?: Studien zur Geschichte der Alterssicherung in der Frühzeit der Sozialpolitik, volume 5 of Beiträge zur Sozialpolitik-Forschung, Maro Verlag, (1990)
B. Buchberger, S. Oishi, M. Plum, and S. Rump. Algebraic and Numerical Algorithms and Computer-assisted Proofs, volume 05391 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)
B. Buchberger, C. Jansson, S. Oishi, M. Plum, and S. Rump. Algebraic and Numerical Algorithms and Computer-assisted Proofs, volume 05391 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)
B. Brown, E. Kaltofen, S. Oishi, and S. Rump. Computer-assisted proofs - tools, methods and applications, volume 09471 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)
B. Brown, E. Kaltofen, S. Oishi, and S. Rump. Computer-assisted proofs - tools, methods and applications, volume 09471 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)