Lytje, I. Formaliseringskravet I Menneske-Maskine Interaktionen. KoK 1988, 16, 70-80.