https://thales.cs.unipi.gr/courses/TMK111/