Towards a Derivation Editor. - Agneta Eriksson; Anna-Lena Johansson; Sten-Åke Tärnlund (ICLP, 1982)

Using Symmetry for the Derivation of Logic Programs. - Anna-Lena Johansson (ICLP, 1984)

Neat Explanation of Proof Trees. - Agneta Eriksson; Anna-Lena Johansson (IJCAI, 1985)

Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies. - Anna-Lena Johansson (LOPSTR, 1993)

Program Derivation and its Interactive Environment. - Anna-Lena Johansson (SCAI, 1993)

The World Lecture Hall. - Anna-Lena Johansson (J. Educ. Technol. Soc., 1999)