Models of computation Programming language theory Theorems in computational complexity theory Structured program theorem