Systems programming in parallel logic languages - Foster, Jan (Prentice Hall, 1990)