add cpplex citation, minor edits.