@inproceedings{paper9,
  title = "The Theory of Strictness Analysis for Higher Order Functions",
  author = "G. Burn and C. Hankin and S. Abramsky",
  year = "1986",
  booktitle = "Programs as Data Objects",
  editor = "H. Ganzinger and N. Jones",
  pages = "42-62",
  publisher = "Springer-Verlag",
}