Recursive structures in involutive bases theory