1. Abrial, J.-R. (2010). Modeling in Event-B: System and software engineering (1st ed.). New York: Cambridge University Press.
2. Aizenbud-Reshef, N., Nolan, B. T., Rubin, J., & Shaham-Gafni, Y. (2006). Model traceability. IBM Systems Journal, 45(3), 515–526.
3. Balzer, R. M., Goldman, N. M., & Wile, D. S. (1982). Operational specification as the basis for rapid prototyping. Software Engineering Notes, 7, 3–16.
4. Berzins, V., Luqi, & Yehudai, A. (1993). Using transformations in specification-based prototyping. IEEE Transactions on Software Engineering, 19(5), 436–452.
5. Bjørner, D., & Jones, C. B. (Eds.) (1978). The Vienna development method: The meta-language. London: Springer.