1. Abrial, J.-R. (1996). The B-Book: Assigning Programs to Meanings. Cambridge University Press.
2. Lect Notes Comput Sci;R. D. Arthan,1991
3. Balzer, R. (1991). Tolerating Inconsistency. In Proceedings of the 13th International Conference on Software Engineering, pages 158–165. IEEE Computer Society Press / ACM Press.
4. Batens, D. (1999). Inconsistency-Adaptive Logics. In Orlowska, E., editor, Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Studies in fuzziness and soft computing, Volume 24, pages 445–472, Heidelberg, New York. Physica-Verlag.
5. Batens, D. (2000). A Survey of Inconsistency-Adaptive Logics. In (Batens et al., 2000), pages 49–73.