Interactive observability in Ludics: the geometry of tests
scientific article; zbMATH DE number 5013338