1. Armbrust, M., et al.: Scaling spark in the real world: performance and usability. PVLDB 8(12), 1840–1851 (2015). https://www.vldb.org/pvldb/vol8/p1840-armbrust.pdf
2. Bobot, F., Filliâtre, J.C., Claude, M., Melquiond, G., Paskevich, A.: The Why3 platform (2023). https://why3.lri.fr
3. Bobot, F., Filliâtre, J.-C., Marché, C., Paskevich, A.: Let’s verify this with Why3. Int. J. Softw. Tools Technol. Transfer 17(6), 709–727 (2014). https://doi.org/10.1007/s10009-014-0314-5
4. Cole, M.: Algorithmic skeletons: structured management of parallel computation. MIT Press (1989)
5. Conchon, S., Coquereau, A., Iguernlala, M., Mebsout, A.: Alt-Ergo 2.2. In: SMT Workshop: International Workshop on Satisfiability Modulo Theories. Oxford, United Kingdom (2018). https://inria.hal.science/hal-01960203