@article{DBLP:journals/jpl/ChenHY95,
author = {Li-Ling Chen and
Williams Ludwell Harrison III and
Kwangkeun Yi},
title = {Efficient computation of fixpoints that arise in complex
program analysis},
journal = {J. Prog. Lang.},
volume = {3},
number = {1},
year = {1995},
ee = {http://compscinet.dcs.kcl.ac.uk/JP/jp030102.abs.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}