Is perfect matching for bipartite graph with no cycles unique? Given a balanced bipartite graph that satisfies Hall's theorem (is non singular) then it shown that it has at least one perfect matching.

My question is if the balanced bipartite graph is also acyclic then is the perfect matching unique?

If so (I am almost certain it is), can you point me to a cite-able source? I was not able to such a document.
If the graph is acyclic, which implies that it is also bipartite, then the perfect matching is unique by the following algorithm: 

While the graph is not empty, pick a leaf vertex $u$ (which exists because the graph is acyclic) add the edge between $u$ and its unique neighbor $v$ to the matching and then remove $u$ and $v$. If at some point graphs without incident edges are produced, then there is no perfect matching. 

This is probably folklore knowledge which would mean that there is no citable source.