| 1989 | ||
|---|---|---|
| 1 | Torben Amtoft Hansen, Thomas Nikolajsen, Jesper Larsson Träff, Neil D. Jones: Experiments with Implementations of Two Theoretical Constructions. Logic at Botik 1989: 119-133 | |
| 1 | Torben Amtoft (Torben Amtoft Hansen) | [1] |
| 2 | Neil D. Jones | [1] |
| 3 | Jesper Larsson Träff | [1] |