1. Bogomolny, A.: Pythagorean theorem and its many proofs from interactive mathematics miscellany and puzzles http://www.cut-the-knot.org/pythagoras/index.shtml, Accessed 25 Feb (2014)
2. Dennis, A.R., Valacich, J.S.: Computer brainstorms: more heads are better than one. J. Appl. Psychol. 78(4), 531–537 (1993)
3. Foundalis, H.E.: Phaeaco: a cognitive architecture inspired by bongard’s problems, Ph.D. Dissertation, Computer Science and Cognitive Science Departments, Indiana University, Bloomington, Indiana, (2006)
4. Goguen, J.A.: Social and semiotic analyses for theorem prover user interface design. Form. Asp. Comput. (Special Issue on User Interfaces for Theorem Provers) 11, 272–301 (1999)
5. Goguen, J.: Semiotic morphisms, representations, and blending for interface design. In: Proceedings AMAST Workshop on Algebraic Methods in Language Processing, Conference Held in Verona, Italy, 25–27 August 2003, pp. 1-15. AMAST press