http://newcastle.rkbexplorer.com/id/publications/proceedings/http://homepages.cs.ncl.ac.uk/michael.harrison/papers/

used by 1: