Denotational linear time semantics and sequential composition. - Baier, Christel (Information processing letters.)