In a recent paper, Katy Evans and Ronald Frost discussed deserpentinization as a source of oxidation in arc magmas.
You can access their THERMOCALC thermo datafiles here. The a-x relations were developed by Roger Powell, for Rebay, Powell & Holland, in prep.
The HPx-eos and THERMOCALC 