1. Novosibirsk State University; Novosibirsk Russian Federation
2. Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences; Novosibirsk Russian Federation
3. Institut für Informatik, Friedrich-Schiller-Universität Jena; Germany
4. Institut für Softwaretechnik und Theoretische Informatik; TU Berlin Germany