@article{DamJacLunPie10,
    author    = {Mads Dam and Bart Jacobs and Andreas Lundblad and Frank Piessens},
    title     = {Provably correct inline monitoring for multithreaded Java-like programs},
    journal   = {Journal of Computer Security},
    volume    = {18},
    number    = {1},
    year      = {2010},
    pages     = {37-59},
}