Simon D. Kent: A Layered Type System for Re-entrance Control. JMLC 2003: 88-97