Stav dette: Proceedings 5, COMPSAC81 :