McConnell, R. M., Mehlhorn, K., Näher, S., & Schweitzer, P. (2010). Certifying Algorithms. Computer Science Review, 5(2), 119-161. doi:10.1016/j.cosrev.2010.09.009.