add references (prompted by work on SATnatex)