The RECOUP Project is investigating ways of making old Fortran code more intelligible. In particular, such code is likely to be very unstructured and to have inadequate documentation. We are attempting to solve both these problems.The two groups working on this project are approaching the problem from different angles with a view to meeting in the middle. On the one hand, current Fortran restructuring tools are being investigated and extended with a view to extracting abstract data types buried in the code. On the other hand, an executable subset of Z has been identified which will form the basis of the documentation notation. The intention is that old Fortran code should be restructured and documented in Z [Spivey, 1992], so that proposed updates to the code and to its documentation can be kept in step.

Several portions of the basic data in the WATEQ series of computer programs (WATEQ, WATEQF, WATEQ2, WATEQ3, and PHREEQE) are compiled. The density and dielectric constant of water and their temperature dependence are evaluated for the purpose of updating the Debye-Hiickel solvent parameters in the activity £oefficient equations. The standard state thermodynamic properties of the Fe 2 and Fe 3 aqueous ions are refined. The main portion of this report is a comprehensive listing of aluminum hydrolysis constants, aluminum fluoride, aluminum sulfate, calcium chloride, magnesium chloride, potassium sulfate and sodium sulfate stability constants, solubility product constants for gibbsite and amorjphous aluminum hydroxide, and the standard electrode potentials for Fe°(s)/ Fe 2 (aq) and Fe 2+ (aq)/Fe 3+ (aq).