Tzakova, Miroslava Programming Logics, MPI for Informatics, Max Planck Society;
Blackburn, P., & Tzakova, M. (1999). Hybrid Languages and Temporal Logic. Logic Journal of the IGPL, 7(1), 27-54.