@inproceedings{ppopp08-ligd,
author = {Guodong Li and Michael DeLisi and Ganesh Gopalakrishnan and Robert M. Kirby},
title = {Formal Specification of the MPI-2.0 Standard in TLA+},
booktitle = {Principles and Practices of Parallel Programming (PPoPP)},
year = 2008,
pages = {283-284}
}