Book

Achieving Safety and Reliability with Computer Systems

by B.K. Daniels