Non-strict Don't Care Algebras and Specifications