Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum. - Ana Paula Maldonado; Luís Monteiro; Markus Roggenbach (WADT, 2010)