, supra, forty three Cal.2d at 198, but Tevis held that mandamus was acceptable to implement the right of municipal employees to obtain holiday vacation pay out to which they have been entitled where the situation concerned the appropriate building from the municipal constitution along with the decl