@article{DBLP:journals/sigplan/BarachTW82,
author = {David R. Barach and
David H. Taenzer and
R. E. Wells},
title = {A technique for finding storage allocation errors in C-language
programs},
journal = {SIGPLAN Notices},
volume = {17},
number = {7},
year = {1982},
pages = {32-38},
ee = {http://doi.acm.org/10.1145/988376.988379},
bibsource = {DBLP, http://dblp.uni-trier.de}
}