A temporal logic for the specification and verification of distributed behaviour - Niebert, Peter (1998)
Hildesheim, Univ., Diss., 1998. -Zsfassung in dt. Sprache