added references to ML papers from the HOTT book