It is not clear to me how to format the names of the programs espresso and
boom. It seems to me that some papers use {\sc Espresso} while others seem to
use all capitals (and no \sc).
