Resources and Technology throughout the history of ICMI