Slides by Patrik Jansson presented at IFIP WG2.1 meeting #61 (in Turkey). Other resources: there is also an abstract and the paper (POPL'06), a talk by Danielsson, or you could search google for the title.
