Halang, W. A. [et al.] A safety licensable computing architecture - Singapore World Scientific 1993 - xxv, 251p. ISBN: 981-02-1628-9