The SL synchronous language, revisited
scientific article; zbMATH DE number 5123660