Workshop on Computer System Development, Modelling, and Diagnosis (1st 1984 Kiry, Poland)