Johansson A.-L. Logic program synthesis using schema instantiation in an interactive environment : Diss. / A.-L.Johansson, 1995. - XII,195 p. p. - Текст : непосредственный.
Johansson A.-L. Prolog versus you : An introduction to logic programming / A.-L.Johansson,A.Eriksson-Granskog,A.Edman, 1989. - 297 p. - Текст : непосредственный.