SPL3FTA Algorithm Theoretical Basis Document [2014]