Jim Gray 0001 393-481 GrayOS/Gray_DBOS.pdf 1978 conf/ac/1978os Advanced Course: Operating Systems db/conf/ac/os.html#Gray78 https://doi.org/10.1007/3-540-08755-9_9