Syntax and operational semantics of a probabilistic programming language with scopes
scientific article; zbMATH DE number 6646149