Neelam Soundarajan Stephen Fridella Reasoning About Polymorphic Behavior. 346- 1998 conf/tools/26-1998 TOOLS (26) http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.711025 db/conf/tools/tools26-1998.html#SoundarajanF98