Ocenka proizvoditel'nosti vyčislitel'nych - Ferrari, Domenico (Mir, 1981)