| Who | Jim Grundy, Martin Schwenke, Trevor Vickers (editors) |
|---|---|
| Where | Joint Computer Science Technical Report TR-CS-98-09. The Australian National University, Department of Computer Science, Canberra ACT 0200, Australia. September 1998. ISBN 0-7315-4801-9 |
| When | September 1998 |