http://newcastle.rkbexplorer.com/id/publications/proceedings/http://homepages.cs.ncl.ac.uk/graham.morgan/home.formal/

used by 1: