http://newcastle.rkbexplorer.com/id/publications/proceedings/http://www.cs.man.ac.uk/~alvaro/publications/

used by 1: