Algorithm Theoretical Basis Document (ATBD for ATL12 | V07)