@inproceedings{paper8,
  title = "Strictness Analysis and Polymorphic Invariance",
  author = "S. Abramsky",
  year = "1986",
  booktitle = "Programs as Data Objects",
  editor = "H. Ganzinger and N. Jones",
  pages = "1-23",
  publisher = "Springer-Verlag",
}