@InProceedings{BergerSchwichtenberg96,
  author = 	 {Ulrich Berger and Helmut Schwichtenberg},
  title = 	 {The greatest common divisor: a case study for
		  program extraction from classical proofs},
  booktitle = 	 {Types for Proofs and Programs. International
                  Workshop TYPES '95, Torino, Italy, June
                  1995. Selected Papers},
  editor =	 {S. Berardi and M. Coppo},
  volume =	 {1158},
  series =	 {LNCS},
  year =	 {1996},
  publisher =	 "Springer-Verlag",
  pages =	 {36--46}}