1. Abrial, J.-R.: The B-Book, Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Aguirre, N., Maibaum, T., Alencar, P.: Abstract Design with Aspects (2005) (submitted)
3. Chandy, K., Misra, J.: Parallel Program Design - A Foundation. Addison-Wesley, Reading (1988)
4. Lecture Notes in Computer Science;T. Dimitrakos,2000
5. Fiadeiro, J.: Categories for Software Engineering. Springer, Heidelberg (2004)