Galois connections for patterns: an algebra of labelled graphs
scientific article; zbMATH DE number 7378273
scientific article