(2013) Langages 192.
pp. 57-72
This document is unfortunately not available for download at the moment.