Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten e. Optimalitätskonzept u. seine Anwendung - Steffen, Bernhard (1987)
Kiel, Univ., Diss.