Zarnowiecki, T. (1997). The plasma-neutral atmosphere coupling in the Martian exosphere: Possibility of model verification. PhD Thesis, Warsaw University.