Teaching Abstraction in Mathematics and Computer Science - A Computer-supported Approach with Alloy. - Marianne Simonot; M. Homps; Philippe Bonnot 002 (CSEDU (2), 2012)