Burckhardt, et al.. Checkfence. ACM Press, 2007, doi:10.1145/1250734.1250737.