1. J.R. Abrial, "The Specification Language Z — Syntax and Semantics", Programming Research Group, Oxford University (1980).
2. E. Best and F. Cristian, "Systematic Detection of Exception Occurrences", Science of Computer Programming Vol. 1(1), North Holland Pub. Co. (1981).
3. D. Bjorner, "Formalisation of Data Base Models", pp. 144–215 in Abstract Software Specification, ed. D. Bjorner, Springer Verlag Lecture Notes in Comp. Sc. (1979).
4. F. Cristian, "Le Traitement des Exceptions dans les Programmes Modulaires", Doctoral Thesis, Univ. of Grenoble (1979).
5. F. Cristian, "Exception Handling and Software-Fault Tolerance", Proc. of the 10th Int. Symp. on Fault Tolerant Computing, Kyoto, pp.97–103 (1980).