Cerioli M. Non-strict don’t care algebras and specifications (1991)

by E Astesiano
Venue:TAPSOFT CAAP, Brighton U.K