Michael Baldamus, Jürgen Dingel: Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract). TAPSOFT 1997: 285-296