Obituary: Victor Mikhaylovich Glushkov (1923-1982)