Uwe Egly. On methods of function introduction and related concepts. PhD thesis, TH Darmstadt, 1995.
@phdthesis{books-daglib-0081602, title = {On methods of function introduction and related concepts}, author = {Uwe Egly}, year = {1995}, researchr = {https://researchr.org/publication/books-daglib-0081602}, cites = {0}, citedby = {0}, school = {TH Darmstadt}, }