  We study ergodic properties of certain piecewise smooth two-dimensional
systems by constructing countable Markov partitions. Using thermodynamic
formalism we prove exponential decay of correleations.
