1. van der Aalst, W., ter Hofstede, A.: Workflow patterns home page (created and maintained since 1999),
http://www.workflowpatterns.com/
2. Abrial, J.R.: The B-Book. Cambridge University Press, Cambridge (1996)
3. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
4. Batory, D., Börger, E.: Modularizing theorems for software product lines: The Jbook case study. J. Universal Computer Science 14(12), 2059–2082 (2008)
5. Lecture Notes in Computer Science;E. Börger,1990