| |
| 2007 | ||
|---|---|---|
| 1 | EE | Andreas Schlosser, Christoph Walther, Michael Gonder, Markus Aderhold: Context Dependent Procedures and Computed Types in -eriFun. Electr. Notes Theor. Comput. Sci. 174(7): 61-78 (2007) |
| 1 | Markus Aderhold | [1] |
| 2 | Andreas Schlosser | [1] |
| 3 | Christoph Walther | [1] |