Add some papers
update the tla+