A Logical Characterisation of Static Equivalence. - Hans Hüttel; Michael D. Pedersen (MFPS, 2007)