@article{234747,
 author = {Robert Cartwright and Matthias Felleisen},
 title = {Program verification through soft typing},
 journal = {ACM Computing Surveys (CSUR)},
 volume = {28},
 number = {2},
 year = {1996},
 issn = {0360-0300},
 pages = {349--351},
 doi = {http://doi.acm.org/10.1145/234528.234747},
 publisher = {ACM Press},
 }