Toward formal development of programs from algebraic specifications: Parameterisation revisited Donald SannellaStefan SokolowskiAndrzej Tarlecki OriginalPaper Pages: 689 - 736
Languages accepted by systolic Y-tree automata: structural characterizations E. FachiniA. MontiD. Parente OriginalPaper Pages: 761 - 778