Brian Randell Reliable Computing Systems. 282-391 1978 conf/ac/1978os Advanced Course: Operating Systems db/conf/ac/os.html#Randell78