Those look good just glancing over them. To move beyond simple comparative advantage (if you're interested) I would recommend looking into the Heckscher-Ohlin theorem as well. It expands upon comparative advantage adding another level of complexity and more insight. Empirically the theorem has been mostly proven, something that not all economic theories are able to pass.
The Wikipedia page looks like a good overview: http://en.wikipedia.org/wiki/Heckscher%E2%80%93Ohlin_model
Most insights into the benefits of trade can be seen in the Ricadrian comparative advantage model (see post above).