GitHub repository: tst2005/rbgs-papers
Description: Publications about refinement-based game semantics