Added references to Olivier's papers on the SECD machine