Procedural semantics and its relevance to paradox
scientific article; zbMATH DE number 7868847