I can provide other formalizations, including SIGPLAN papers, but am low on troll food supplies to bother.