Mosses, Peter D. “Logical Specification of Operational Semantics”. BRICS Report Series 6, no. 55 (December 25, 1999). Accessed March 29, 2024. https://tidsskrift.dk/brics/article/view/20125.