(1986) Langages 81.
pp. 57-73
This document is unfortunately not available for download at the moment.