Proving the coding interview, part 2
cs.utexas.edu