1. New Programming Languages for Artificial Intelligence Research;Bobrow;Comp. Surveys,1974
2. Garijo F.J. (1979). Obtention automatique de programmes iteratifs optimisés pour le calcul d'un ensemble de fonction recursives. II Congres AFCET-IRIA Int. Art. et Rec. de Formes, Toulouse 1979.
3. Garijo, F.J. (1981) SACIFURC. Un sistema transformacional para el análisis, verificación y cálculo inteligente de un conjunto de funciones recursivas. Tesis Facultad de Informática, S.Sebastian. Enero, 1981
4. An overview of SL5;Grinswold;Sigplan Notices,1977
5. Hewitt. (1969). Planner a language for manipulating models and proving theorems in a robot. Proc. I.J.C. A.I. 1969, May 1969. pp. 295–301