Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin: Computing Stack Maps with Interfaces. ECOOP 2008: 642-666