On non-deterministic functional completeness
scientific article; zbMATH DE number 7931586
scientific article