McCune, William An indexing mechanism for finding more general formulas. Association of Automated Reasoning Newsletter (1988)
Latham, Robert; Ross, Robert; Thakur, Rajeev; Toonen, Brian Implementing MPI-IO shared file pointers without file system support. Lecture Notes in Computer Science ()