Operational Semantics of a Kernel of the Language ELECTRE. - Jean Perraud; Olivier F. Roux; Marc Huou (Theor. Comput. Sci., 1992)