Add paper

Wadler's "Projections for Strictness Analysis" is cited by Liu95.
BibDesk stuff