ByNobleID
    Using Class Memory Automata in Algorithmic Game Semantics | NobleID