Dequantization of real algebraic geometry on logarithmic paper - Oleg Viro (2000)