Non-strict don't care algebras and specifications (1996)

by E Astesiano, M Cerioli
Venue:Mathematical Structures in Computer Science