Ferrante, et al.. Fast Payment Schemes for Truthful Mechanisms with Verification. no. 8-10, Elsevier BV, 2009, doi:10.1016/j.tcs.2008.12.024.