GitHub repository: rigille/rbgs
Description: Refinement-Based Game Semantics