Rocco De Nicola, Tan Duong, Michele Loreti. AbC calculus. Science of Computer Programming, 202:102567, 2021. [doi]
@article{NicolaDL21, title = {AbC calculus}, author = {Rocco De Nicola and Tan Duong and Michele Loreti}, year = {2021}, doi = {10.1016/j.scico.2020.102567}, url = {https://doi.org/10.1016/j.scico.2020.102567}, researchr = {https://researchr.org/publication/NicolaDL21}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {202}, pages = {102567}, }