AmigaDOS Quick Reference
Workbench User's Guide
ARexx User's Guide
In addition, the Amiga ROM Kernel manuals published by Addison-Wesley provide technical documentation of AmigaDOS for programmers and developers.