Determinization and Bialgebraic Semantics∗