Module p_recursive