Combinatorics and Reasoning Representing, Justifying and Building Isomorphisms - Maher, Carolyn A (Springer Science+Business Media, LLC, 2010)