"Non-Strict Don't Care Algebras and Specifications."

Egidio Astesiano, Maura Cerioli (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics