EWD361: Programming as a discipline of mathematical nature [video]
youtube.com