@inproceedings{wright&baker-finch:nrt,
author="Clement A. Baker-Finch and David A. Wright",
title="Usage Analysis with Natural Reduction Types",
booktitle="Third International Workshop on Static Analysis, Padova",
editor="P. Cousot {\em et al.}",
year=1993,
pages="254--266",
publisher="Springer-Verlag",
series="LNCS 724"}