@Misc{Engel05,
author = {Christian Engel},
title = {A Transaltion from JML to JavaDL},
howpublished = {Studienarbeit, {F}akult\"{a}t f\"{u}r Informatik, {U}niversit\"{a}t {K}arlsruhe},
address = {http://i12www.ira.uka.de/$\sim$engelc/publications/sa.pdf},
month = {feb},
year = {2005},
}