Hans-Rüdiger Wiehle On System Specifications. 547-582 1978 conf/ac/1978os Advanced Course: Operating Systems db/conf/ac/os.html#Wiehle78