https://123dok.org/document/9ynxx40q-innerspec-technical-report.html