Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition
scientific article; zbMATH DE number 6234584
scientific article