@inproceedings{808314,
 author = {Causot, Patrick and Cousot, Radhia},
 title = {Static determination of dynamic properties of generalized type unions},
 booktitle = {Proceedings of an ACM conference on Language design for reliable software},
 year = {1977},
 pages = {77--94},
 location = {Raleigh, North Carolina},
 doi = {http://doi.acm.org/10.1145/800022.808314}},
 }