Besides the notes on UNITY series and the New UNITY manuscript, the following files might relevant to people who are interested in the UNITY formalism.

• A list of implementations of UNITY as collected by Lutz Prechelt in 1993.
• A list of BIBTeX references to the UNITY literature as collected by W.G.Day in 1991.
• More BIBTeX references collected from the Glimpse Server 1994.
• A discussion on the soundness of the substitution axiom in UNITY, as it took place in comp.theory in 1993.

Note that these files have not been updated, so the information might not be up to date.

Jacob Kornerup