(1991) Langages 104.
pp. 46-61
This document is unfortunately not available for download at the moment.