Title
AFFIRM reference manualCatalog Number
102723054Type
DocumentDescription
Version 2.0Corresponds to AFFIRM Version 1.21
Reference Manual - A detailed discussion of the major concepts behind AFFIRM presented in terms of the abstract machines forming the system's structure as seen by the user.