Boender, J. (2013) “Formal verification of a theory of packages”, Electronic Communications of the EASST, 48. doi: 10.14279/tuj.eceasst.48.798.