Formal Modelling of the Ergonomicity Level Evaluation of Man-Microcomputer Systems. - Leszek Pacholski; Malgorzata Wejman (HCI (1), 1993)