Kei Davis: Projection-based program analysis. University of Glasgow, UK 1994