Title: An algorithm for the computer derivation of thermodynamic expressions
First published: 1985