@TechReport{marques-martins-etal:protocol-based-verification-tr,
  author = 	 {Eduardo R. B. Marques and Francisco Martins and 
Vasco Thudichum Vasconcelos and César Santos and Nicholas Ng and Nobuko Yoshida},
  title = 	 {Protocol-Based Verification of {MPI} Programs},
  institution =  {University of Lisbon},
  year = 	 2014,
  type = 	 {DI-FCUL},
  number = 	 {5},
  doi = {10455/6901}
}