1. Aczel, Peter, An Introduction to Inductive Definitions, in: Handbook of Mathematical Logic (Barwise, J., ed.), North-Holland, Amsterdam 1977.
2. Aronsson, Martin, STRIPS-Like Planning Using GCLA, SICS research report R89009, Swedish Institute of Computer Science, 1989.
3. Aronsson, Martin, A Definitional Approach to the Combination of Functional and Relational Programming, SICS research report R91:10, Swedish Institute of Computer Science, 1991.
4. Aronsson, M., Eriksson, L.-H., Gäredal, A., Hallnäs, L. and Olin, P., The Programming Language GCLA — A Definitional Approach to Logic Programming, New Generation Computing, vol. 7 no. 4 (1990), pp. 381–404.
5. Aronsson, M., Eriksson L.-H., Hallnäs, L. and Kreuger, P., A Survey of GCLA: A Definitional Approach to Logic Programming, In: P. Schroeder-Heister (ed.), Extensions of Logic Programming, Springer Lecture Notes in Computer Science 475, 1991