AsmetaL is teh language we use for the ASMs.
AsmetaL has been derived from the Asmeta metamodel following the process explained in the 3M4MDA paper (look here).

You can download:

• The EBNF grammar for the AsmM textual notation. It has been developed by means of the Sun's Java Compiler Compiler (JavaCC)
• A quick guide of the concrete notation
• several examples of ASM specs (ZIP archive) - mono agents and multi agents
  
• The AsmM Standard Library A library of predefined ASM domains and functions: StandardLibrary.asm.(you need this)