19-Apr-65, L.D. Faddeev.
29-Sep-69, L.D. Faddeev.
15-Mar-71, L.D. Faddeev.
28-Nov-77, L.D. Faddeev.