Documents relating to the automation of the STABU / STABU specification module.