A formalization of refinement for interaction trees - View it on GitHub