Closure of the NBUC class under formation of parallel systems

From MaRDI portal
Publication:4280666