* Mathematics of programming languages
You need to have tevlive and the poppler package installed