Ўхшаш китоблар «Сертификация программного обеспечения. Статический анализ программного кода», Л. С. Куликов