Aleph publications
Aleph Rationale
Arrow Directory Protocol (theoretical analysis)
Arrow Directory Protocol (experimental analysis)