https://123dok.net/document/zx5384p4-on-monographs-monadic-many-sorted-algebras-graph-structures.html