@MastersThesis{Aehlig00a,
  author =       {Klaus Aehlig},
  title =        {Programmextraktion f\"ur nicht-wachsende 
                  {P}olynomialzeitberechnungen},
  school =       {University of Munich},
  year =         2000
}