Computer Science Off Course - Programming as Theory Building