hsem: sources/references