Game semantics for interface middleweight Java - Murawski, AS; Tzevelekos, N (Journal of the ACM, 2020)