1. J.-R. Abrial. The B book-Assigning Programs to Meanings. Cambridge University Press, 1996.
2. J. Blom. Formalisation of requirements with emphasis on feature interaction detection. In Feature Interactions In Telecommunications IV, Montreal, Canada, June 1997. IOS Press.
3. J. Blom, B. Johnsson, and L. Kempe. Automatic detection of feature interactions in temporal logic. In K. E. Cheng and T. Ohta, editors, Feature Interactions in Telecommunications Systems, pages 1–19. IOS Press, 1996. [9].
4. J. Blom, B. Jonsson, and L. Kempe. Using temporal logic for modular specification of telephone services. In L. G. Bouma and H. Velthuijsen, editors, Feature Interactions in Telecommunications Systems, pages 197–216. IOS Press, 1994.
5. G. Booch. Object oriented design with applications. Benjamin Cummings, 1991.