Game semantics for interface middleweight Java.

Andrzej S. Murawski, Nikos Tzevelekos

Browse the full POPL paper archive.