A safety licensable computing architecture - Không rõ (World Scientific, 1993)