Email Record: Overview of reduction methods and their implementation Into finite-element local-to-global techniques /