Just to mention the existence of the project COOL (for teaching 00) http://www.ifi.uio.no/~kristen/FORSKNINGSDOK_MAPPE/F_COOL1.html