"Dynamic extension without inversion for observers."

Vincent Andrieu, Jean-Bernard Eytard, Laurent Praly (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics