1. Atkinson, M.P., Bailey, P.J., Chisholm, K.L., Cockshott, W.P. & Morrison, R., "An Approach to Persistent Programming", The Computer Journal, 26, 4.
2. Atkinson, M.P. & Kulkarni, K.G., "Experimenting With The Functional Data Model" in "Databases — Role and Structure", Stocker, Gray & Atkinson (eds), Cambridge University Press.
3. Bocca, J.. "On the EvaluationStrategy of EDUCE", Proc. ACM SIGMOD 86, Zaniolo (ed).
4. Brakto, I., "Prolog Programming for Artificial Intelligence", Addison-Wesley.
5. Clocksin, W.F. & Mellish, C.S.. "Programming in Prolog", Springer-Verlag.