David J. Pearce and Paul H. J. Kelly Tech. report, Imperial College of Science, Technology, and Medicine, Department of Computing, Sep 2003 http://www.doc.ic.ac.uk/~djp1/files/tr0903.pdf
Cites: