Synchronous Kleene algebra
scientific article; zbMATH DE number 5804235
scientific article