Bashar Nuseibeh. To Be and Not to Be: On Managing Inconsistency in Software Development. In Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996. pages 164-169, IEEE Computer Society, 1996. [doi]
Abstract is missing.