Aleksandar S. Dimovski: Compositional software verification based on game semantics. University of Warwick, Coventry, UK 2007