Compositional techniques for Boolean networks and attractor analysis
scientific article; zbMATH DE number 7860282