Typology of conditional constructions - Khrakovskij, Viktor S. (LINCOM Europa, 2004)