Ten years of Hoare's logic: A survey. II: Nondeterminism
scientific article; zbMATH DE number 3829231
scientific article