@inproceedings{paper20,
  title = "A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions",
  author = "S. Abramsky and T. Jensen",
  year = "1991",
  booktitle = "{ACM} Symposium on Principles of Programming Languages",
  pages = "49-55",
  publisher = "{ACM} Press",
}