David R. Karger, Sewoong Oh, Devavrat Shah: Budget-Optimal Task Allocation for Reliable Crowdsourcing Systems. Oper. Res. 62(1): 1-24 (2014)