Sofronie-Stokkermans, Viorica Programming Logics, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2004). Algebraic and logical methods in automated theorem proving and in the study of concurrency. Habilitation Thesis, Universität des Saarlandes, Saarbrücken.