The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract)