Robbing the bank with a theorem prover (2005) [pdf] | Heykuki News