https://1library.net/document/zp7oop4z-formal-specification-mpi-study-specifying-practical-concurrent-programming.html