Books

  • L. Wos, R. Overbeek, E. Lusk, and J. Boyle, Automated Reasoning: Introduction and Applications, Prentice-Hall, Englewood Cliffs, New Jersey, 1984
  • J. Boyle, R. Butler, B. Glickfeld, T. Disz, E. Lusk, R. Overbeek, J. Patterson, and R. Stevens, Portable Programming for Parallel Processors, Holt, Winston, and Reinhart, New York, 1987.
  • W. Gropp, S. Huss-Lederman, A. Lumsdaine, E. Lusk, B. Nitzberg, W. Saphir, and M. Snir, MPI - The Complete Reference: Volume 2, The MPI-2 Extensions, MIT Press, 1998.
  • W. Gropp, E. Lusk, and A. Skjellum, Using MPI - 2nd Edition, MIT Press, 1999
  • W. Gropp, E. Lusk, and R. Thakur, Using MPI-2: Advanced Features of the Message Passing Interface,