1-2 of 2 Books
STAR (simple tool for automated reasoning)
By Cary C. Borchardt
Shared direct memory access on the Explorer II-LX
By Jeffrey L. Musgrave