Primitiv-rekursive Transformationen - Henke, Friedrich Wilhelm von (1974)