ein interaktives codeausfuhrendes Reduktionssystem zur vollstandigen Realisierung eines angewandten --Kalkuls. PhD thesis, Inst. fur Informatik und praktische Mathematik, Universit at (1991)

by -RED