Jass - Java with assertions (2001)

by D Bartetzko, C Fischer, M Möller, H Wehrheim
Venue:Electronic Notes in Theoretical Computer Science