Title: Foundations of software technology and theoretical computer science
Subjects: Theoretische Informatik, Programmierung