Program composition via unification
scientific article; zbMATH DE number 626278
scientific article