%0 Journal Article %A H.S. Hoffmann %T Annual Review in Automatic Programming (H. S. Hoffmann). %J Metrika %D 1963 %P 162-163 %V 7 %I mathdoc %U http://geodesic.mathdoc.fr/item/MET_1963__7_175214/ %F MET_1963__7_175214