A representable approach to finite nondeterminism
scientific article; zbMATH DE number 1178593
scientific article