Mathfile. User's guide. Mathematical reviews online. (American Mathematical Society, 1982)