Parallelism in logic: its potential for performance and program development : F Kurfess Vieweg, Germany (1991)