TEACHING ABSTRACTION IN MATHEMATICS AND COMPUTER SCIENCE - A Computer-supported Approach with Alloy Topics: Course Design and E-Learning Curriculae; Learning Organizations; Technology Enhanced Learning In Proceedings of the 4th International Conference on Computer Supported Education - Volume 1: CSEDU, 239-245, 2012 , Porto, Portugal