>> I don't know of any other solution , but you may want to read
>> Andre Pang's master thesis (under supervision of Manuel Chackravarty)
>> that might have some content about this.
> Do you know where I can find that thesis ?
Here's a paper which is more-or-less a condensed version of my thesis: