"Programmiersprache." . . "Semantik." . . "Langages de programmation Sémantique." . . . . . "Toward a mathematical semantics for computer languages"@en . "Toward a mathematical semantics for computer languages" . . . . . . . . . "toward a mathematical semantics for computer languages" . . . . . . . .