Rybalchenko, Andrey Group A. Rybalchenko, Max Planck Institute for Software Systems, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Frid, A., Morozov, A., Rybalchenko, A., & Wagner, K. W. (Eds.). (2009). Computer science - theory and applications. Berlin: Springer.