@neauoire

If you haven't read Alexia Massalin's (very readable) PhD, you're in for a treat:

https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.4871