1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)
2. Alvaro, P., Marczak, W., Conway, N., Hellerstein, J.M., Maier, D., Sears, R.C.: Dedalus: Datalog in Time and Space. Technical report, EECS Department, University of California, Berkeley (December 2009)
3. Lecture Notes in Computer Science;M. Barnett,2006
4. Bloomfield, R.E., Bishop, P.G., Jones, C.C.M., Froome, P.K.D.: Adelard Safety Case Development Manual. Adelard (1998)
5. Lecture Notes in Computer Science;A.R. Bradley,2012