Combinatorics and reasoning : representing, justifying and building isomorphisms (2011)