Software based systems for flex-fuel vehicles (vehicles able to operate on alcohol / gasoline blends with greater than 10% alcohol) do indeed use O2 sensor feedback. Several systems are available using binary sensors as well as wideband O2 sensors. Binary systems evaluate the required fuelling correction to achieve stoichiometric operation and infer the shift in stoichiometry from this, the assumption being that the fuelling correction is entirely attributed to a change in fuel composition. Wideband sensor based systems use a combination of the shift in fuelling correction and the AFR response to load transients to calculate the % alcohol present in the tank.