Introduction and reasoning: http://faculty.chicagobooth.edu/eric.budish/research/HFT-Fre...
Implementation details: http://faculty.chicagobooth.edu/eric.budish/research/HFT-Fre...
Both interesting reads though. We actually implemented batch auctions as a way to set initial prices for our prediction markets at Inkling Markets (http://home.inklingmarkets.com/) based off these papers.