A Foundation for Algorithm Generation by Transforming Meta-Descriptions