I. Lytje, “Formaliseringskravet i menneske-maskine interaktionen”, KoK, vol. 16, no. 63, pp. 70–80, Dec. 1988.