Source: https://philipp.ruemmer.org/publications/lpar-e-matching12.pdf