BibTeX

@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},
}