@Bibtex-file{Techreports/inf.ed.ac.uk,
  title =        "School of Informatics, The University of Edinburgh",
  supported =    "yes",
}