The author of the 3rd book in the list, Peter Van Roy, teaches a course on edX. :) The course is archived but I think people can access all the videos and notes

The author of the 3rd book in the list, Peter Van Roy, teaches a course on edX. :) The course is archived but I think people can access all the videos and notes. http://www.edx.org/course/paradigms-computer-programming-louvainx-louv1-1x http://www.edx.org/course/paradigms-computer-programming-lou... http://www.edx.org/course/paradigms-computer-programming-louvainx-louv1-2x http://www.edx.org/course/paradigms-computer-programming-lou...