Christian Puech (1992) Langages 107.
pp. 38-54
This document is unfortunately not available for download at the moment.