@article{baker-finch:ttpsa,
author="Clement A. Baker-Finch",
title="Type Theory and Projections for Static Analysis",
journal="Journal of Lisp and Symbolic Computation",
volume=8, number=3,
month="October",year="1995",
pages="267--285"}