Chelsea Battell, Amy P. Felty. The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid. In Gilles Dowek, Daniel R. Licata, Sandra Alves, editors, Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016. ACM, 2016. [doi]
Abstract is missing.