Source: https://www.win.tue.nl/~sjoerdr/papers/boek.pdf