Eric Whitman Smith: Axe, an automated formal equivalence checking tool for programs. Stanford University, USA 2011