1 “... very powerful and useful tools for the computer scientist, which may soon become practical...”

2 “... accessible to a wide audience of computer scientists interested in theory and applications of concurrent...”