MPI-CHECK: a Tool for Checking Fortran 90 MPI Programs
(with G. Luecke, Y. Zou, J. Coyle, and M. Kraeva),
Concurrency and Computation: Practice and Experience, 15:93-100, 2003