Hoare著，周巢尘译。包含三个文件，Hoare2004英文修改版，Hoare2015年英文修改版，1990年周巢尘中文翻译版。