Re Documentation
Program-Transformation.Org: The Program Transformation Wiki
Redocumentation is the simplest and oldest form of ReverseEngineering.
The ReverseAndReengineeringTaxonomy defines redocumentation as a form of ReStructuring where the resulting semantically-equivalent representation is an alternate view intended for a human audience.
Automated redocumentation is discussed in the page on DocumentationGeneration.