I. Lytje, “Formaliseringskravet i menneske-maskine interaktionen”, KoK, bd. 16, nr. 63, s. 70–80, dec. 1988.