Logic and semantics for imperatives
scientific article; zbMATH DE number 6381528
scientific article