Declassification with explicit reference points Lux, Alexander Mantel, Heiko 2009 - TUHH Open Research