Stehr, 2006. Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation 159.. https://doi.org/10.1016/j.entcs.2005.12.073