@inproceedings{DietlMueller04, author = {Dietl, W. and M{\"u}ller, P.}, title = {Exceptions in Ownership Type Systems}, booktitle = {Formal Techniques for {J}ava Programs}, year = 2004, editor = "Poll, E.", pages = "49--54", notes = "Available from: \url{http://www.cs.kun.nl/~erikpoll/ftfjp/}", urltopdf = {http://sct.ethz.ch/publications/papers/DietlMueller04.pdf} }