DEC, Server, models:

4000 600 series	Owner'S Manual
4000 AXP	Service Manual
4000 Model 200	Operation Manual
DECNIS 600	Installation And Service Manual
Digital AlphaServer 400 series	User Information
Rackmount 7000 AXP	Operation Manual