A Safety licensable computing architecture (World Scientific, 1993)