@inproceedings{DBLP:conf/csfw/Wray89, author = {J. C. Wray}, title = {An Optimization for Information Flow Analysis}, booktitle = {CSFW}, year = {1989}, pages = {105-110}, bibsource = {DBLP, http://dblp.uni-trier.de} }