A calculational approach to reactive systems
scientific article; zbMATH DE number 1454816