Frédéric Gava. Formal Proofs of Functional BSP Programs. Parallel Processing Letters, 13(3):365-376, 2003. [doi]
@article{Gava03, title = {Formal Proofs of Functional BSP Programs}, author = {Frédéric Gava}, year = {2003}, doi = {10.1142/S0129626403001343}, url = {http://dx.doi.org/10.1142/S0129626403001343}, tags = {functional programming}, researchr = {https://researchr.org/publication/Gava03}, cites = {0}, citedby = {0}, journal = {Parallel Processing Letters}, volume = {13}, number = {3}, pages = {365-376}, }