McGeer. Declarative Verifiable SDI Specifications. IEEE, 2016, doi:10.1109/spw.2016.49.