This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a languag...