An algebraic theory of interface automata
scientific article; zbMATH DE number 6334962
scientific article