@inbook{munchmaccagnoni-2014-models, title={Models of a Non-associative Composition}, ISBN={9783642548307}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-642-54830-7_26}, DOI={10.1007/978-3-642-54830-7_26}, booktitle={Foundations of Software Science and Computation Structures}, publisher={Springer Berlin Heidelberg}, author={Munch-Maccagnoni, Guillaume}, year={2014}, pages={396–410} }