João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante: Modeling Big Data Processing Programs. SBMF 2020: 101-118