SPL1BS0/CS0 Algorithm Theoretical Basis Document [2012]