Add publications sections to docs and README.md#495

filipeom merged 1 commit intomainformalsec/smtml:mainfrom

filipe/add-bibformalsec/smtml:filipe/add-bibCopy head branch name to clipboard