Add link to "Fun with Semirings"