English Real Time Multiprogramming Operating System: 其他语言的译文