@article{YYC:POPL08,
 author = {Greta Yorsh and Eran Yahav and Satish Chandra},
 title = {Generating precise and concise procedure summaries},
 journal = {SIGPLAN Not.},
 volume = {43},
 number = {1},
 year = {2008},
 issn = {0362-1340},
 pages = {221--234},
 doi = {http://doi.acm.org/10.1145/1328897.1328467},
 publisher = {ACM},
 address = {New York, NY, USA},
 }