@InProceedings{Berger95a,
  author = 	 {Berger, U.},
  title = 	 "Programs from classical proofs",
  editor =	 "M. Behara and R. Fritsch and R.G. Lintz",
  pages =	 "187--200",
  booktitle =	 "Symposia Gaussiana. Proceedings of
                  the 2nd Gauss Symposium. Conference A:
		  Mathematics and Theoretical Physics. Munich,
		  Germany, August 2-7, 1993",
  year =	 "1995",
  publisher =	 "Walter de Gruyter",
  address =	 "Berlin, New York"
}