Bases for pseudovarieties closed under bideterministic product