The previous page is sending you to https://www.eti.uni-siegen.de/ti/lehre/ss15/semantik_von_programmiersprachen/sem_blatt06.pdf.

 If you do not want to visit that page, you can return to the previous page.