King, Jaeger, Jha, Seshia, 2008. Effective blame for information-flow violations, in: . ACM Press.. https://doi.org/10.1145/1453101.1453135