The Thoth system multi-process structuring and portability - Cheriton, David R. (North-Holland, 1982)