@article{210187,
 author = {Jens Palsberg and Patrick O'Keefe},
 title = {A type system equivalent to flow analysis},
 journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
 volume = {17},
 number = {4},
 year = {1995},
 issn = {0164-0925},
 pages = {576--599},
 doi = {http://doi.acm.org/10.1145/210184.210187},
 publisher = {ACM Press},
 }