Title: Automatsiche Komplexitatsanalyse  funktionaler Programme