Robby, John Hatcliff: Slang: The Sireum Programming Language. ISoLA 2021: 253-273.