Temporal language of transitions and client server systems - Barnard, Dieter (Bertz, 1997)
Zugl.: München, Techn. Univ., Diss., 1997