A logic for the stepwise development of reactive systems | Publicación