@inproceedings{paper7,
  title = "Strictness Analysis for Higher Order Functions",
  author = "G. Burn and C. Hankin and S. Abramsky",
  year = "1986",
  booktitle = "Science of Computer Programming 7",
  pages = "249-278",
}