DSR pseudocode added