| 1997 | ||
|---|---|---|
| 2 | Peter G. Kluit, Cornelis Pronk, Rob Verver: Static Type Checking and Method Lookup in Plop!. JMLC 1997: 155-169 | |
| 1994 | ||
| 1 | Jan C. Verheul, Peter G. Kluit: The Transformation of Term Rewriting Sysstems Based on Well-formedness Preserving Mappings. CTRS 1994: 332-352 | |
| 1 | Cornelis Pronk (Kees Pronk) | [2] |
| 2 | Jan C. Verheul | [1] |
| 3 | Rob Verver | [2] |