Invariants for parameterised Boolean equation systems
scientific article; zbMATH DE number 5687501
scientific article