Werner Emde, Kai von Luck, Albrecht Schmiedel: Eine neue Implementation von SRL. GWAI 1984: 219-228