@inproceedings{Poinsot2014,
author={Poinsot, Laurent},
title={Differential (Monoid) Algebra and More},
booktitle={AADIOS 2012},
volume={8372},
series={Lecture notes in computer science},
year={2014},
pages={164--189}
}