Heegaard splittings of sufficiently complicated 3-manifolds II: Amalgamation - David Bachman (2009)