Processes and formalisms for unbounded choice
scientific article; zbMATH DE number 65325