1. An Equivalence-Preserving CPS Translation via Multi-Language Semantics;Ahmed,2011
2. On the Structure of Abstract Algebras;Birkhoff,1935
3. On the Multi-Language Construction;Buro,2019
4. All About Maude-a High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic;Clavel,2007