Title: 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings / Edition 1, Author: Ewing Lusk
Title: Using Advanced MPI: Modern Features of the Message-Passing Interface, Author: William Gropp