Added DSR pseudocode