1. Lecture Notes in Computer Science;J.C. Augusto,2004
2. Abrial, J.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
3. Augusto, J., Ferreira, C., Gravell, A., Leuschel, M., Ng, K.M.G.: Exploring different approaches to modelling in enterprise information systems. Technical report, Electronics and Computer Science Department, University of Southampton, Technical Report (2003),
http://www.ecs.soton.ac.uk/~jca/rm.pdf
4. Augusto, J.C., Leuschel, M., Butler, M., Ferreira, C.: Using the extensible model checker xtl to verify stac business specifications. In: Pre-proceedings of 3rd Workshop on Automated Verification of Critical Systems (AVoCS 2003), Southampton, UK, pp. 253–266 (2003)
5. Beck, K.: Extreme Programming Explained. Addison-Wesley, Reading (2000)