1. Bannan-Ritland, B., Dabbagh, N., Murphy, K.: Learning Object systems as constructivist learning environments: related assumptions, theories, and applications. In: Wiley, D.A. (ed.) The Instructional Use of Learning Objects, pp. 61–98. AECT, Bloomington (2002)
2. Barros, T.M., Araújo, A.E.F.D., Marcos, J.: A implementação colaborativa de uma suíte de ferramentas on-line de apoio ao ensino de Lógica. VIII ERMAC–R3 (2008)
3. Beauvoir, P., Griffiths, D., Sharples, P.: Learning Design Authoring Tools in the TENCompetence Project. In: Koper, R. (ed.) Learning Network Services for Professional Development, pp. 379–387. Springer, Heidelberg (2009)
4. van Ditmarsch, H.: A comprehensive list of tools for doing Logic. Association for Symbolic Logic (2010),
http://www.ucalgary.ca/aslcle/logic-courseware/
(verified at March 21, 2011)
5. Felder, R.M., Silverman, L.K.: Learning and teaching styles in Engineering education. Engr. Education 78(7), 674–681 (1988)