J. Boender, “Formal verification of a theory of packages”, eceasst, vol. 48, Apr. 2013.