At head of title: Akademii︠a︡ nauk SSSR. Leningradskiĭ institut informatiki