Bernhard Möller, Georg Struth: p Is. RelMiCS 2005: 200-211