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