title = {PEPM 2006 paper abstracts.},
author = {Mark W. Bailey and John Hatcliff and Frank Tip}, journal = {SIGPLAN Notices}, number = {3}, pages = {4-8}, url = {http://dblp.uni-trier.de/db/journals/sigplan/sigplan41.html#BaileyHT06}, volume = {41}, year = {2006}, description = {dblp}, ee = {http://doi.acm.org/10.1145/1140543.1140545}, date = {2007-06-05},
keywords = {dblp }
::