@phdthesis{ethos-13615,
  title = {Projection-based program analysis},
  author = {Kei Davis},
  year = {1994},
  url = {http://theses.gla.ac.uk/75782/},
  note = {British Library, EThOS},
  researchr = {https://researchr.org/publication/ethos-13615},
  cites = {0},
  citedby = {0},
  school = {University of Glasgow, UK},
}