W. Zimmermann: Automatische Komplexitätsanalyse funktionaler Programme, 1990