Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2007). Algebraic and logical methods in computer science: some aspects. In A. Iorgulescu, S. Marcus, S. Rudeanu, & D. Vaida (Eds.), Grigore C. Moisil and his followers (pp. 488-493). Bucharest, Romania: Editura Academiei Romane.