The Electric User's manual is available here:
The Source Code Internals documentation is available here:
The textbook Computer Aids for VLSI Design is available here: