A logic for the stepwise development of reactive systems
scientific article; zbMATH DE number 6942951
scientific article