Davide Ancona Federico Frassetto A three-valued type system for true positives detection in Java-like languages. 1:1-1:7 2015 FTfJP@ECOOP https://doi.org/10.1145/2786536.2786539 conf/ecoop/2015ftfjp db/conf/ecoop/ftfjp2015.html#AnconaF15