Formale Fundierung und effizientere Algorithmen für die schrittbasierte TLDA-Interleavingsemantik - Lohmann, Niels 1981- (2005)