Boender, J. Formal Verification of a Theory of Packages. eceasst 2013, 48.