(2002) Langages 147.
pp. 19-38
This document is unfortunately not available for download at the moment.