Zappe, Julia (2005): Towards a Mobile Temporal Logic of Actions. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik