(1986) Langages 82.
pp. 83-100
This document is unfortunately not available for download at the moment.