Algorithm Theoretical Basis Document (ATBD for ATL12 | V04)