2015
Formal Modelling for Cooking Assistance.
Proceedings of the Software, 2015