9.1 What you should know before Reading this section
This section assumes that the reader is familiar with the JMS
specifications described in [SUN99]. MOMA is a thick adaptation
of the JMS specification to the Ada programming language, preserving
most of the JMS concepts.