A programming logic for sequential Java (1999)

by A Poetzsch-Heter, P Muller
Venue:Programming Languages and Systems (ESOP '99), number 1576 in LNCS