Design decisions made during the design of RAMI are recorded in the Design Notebook. Please refer to this notebook (maintained in the Team's CVS repository under doc/design_notebook, partly on the Team's website, http://www.cs.mu.oz.au/SE-projects/s340gm/, and also in a folder kept by the Project Manager) to see why the particular designs that appear in this document were chosen.