"On Re-classification and Multi-threading."

Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics