Game semantics for interface middleweight Java (Journal of the ACM, 2020)

(untitled) - Murawski, AS; Tzevelekos, N