A Bicategorical Model for Finite Nondeterminism
scientific article; zbMATH DE number 7700615