Aplicações da teoria de Bass-Serre: endomorfismos injetivos de grupos de Baumslag-Solitar