An algebraic theory of structured objects
scientific article; zbMATH DE number 1109539