Detlef Bartetzko, Clemens Fischer, Michael Möller, Heike Wehrheim. Jass - Java with Assertions. Electronic Notes in Theoretical Computer Science, 55(2):103-117, 2001. [doi]
@article{BartetzkoFMW01,
title = {Jass - Java with Assertions},
author = {Detlef Bartetzko and Clemens Fischer and Michael Möller and Heike Wehrheim},
year = {2001},
url = {http://www.elsevier.com/gej-ng/31/29/23/83/33/show/Products/notes/index.htt?-debug=5#002},
tags = {Java},
researchr = {https://researchr.org/publication/BartetzkoFMW01},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {55},
number = {2},
pages = {103-117},
}