GitHub repository: sregea/maude-semantics
Description: Semantics specification of programming languages in Maude