A Smith - Z User Workshop, York 1991: Proceedings of the Sixth …, 1992 - Springer
Inconsistent specifications may give rise to false conclusions in reasoning, thus destroying
the point of having a specification. This report is concerned with inconsistent specifications …