Tzakova, Miroslava Programming Logics, MPI for Informatics, Max Planck Society;
Tzakova, M. (2000). Hybrid Languages. PhD Thesis, Universität des Saarlandes, Saarbrücken.