Bücher — theory of programming