V. Nesov, “Automatically Finding Bugs in Open Source Programs”, eceasst, vol. 20, Nov. 2009.