Andrei Sabelfeld: Confidentiality for Multithreaded Programs via Bisimulation. Ershov Memorial Conference 2003: 260-274