Source: https://www.dabeaz.com/modulepackage/ModulePackage.pdf