Instructions: the macro below should be part of the
plain TeX file (that includes authors and title) in order
to be TeXed properly.
BODY