Andrei Sabelfeld, David Sands: A Per Model of Secure Information Flow in Sequential Programs. ESOP 1999: 40-58