Derek John Arthur.* Jubb

• Algorithms for the symbolic derivation of thermodynamic equations for restricted and chemical systems