BibTex format
@article{Barwell:2022:10.1016/j.jlamp.2021.100744,
author = {Barwell, AD and Ferreira, F and Yoshida, N},
doi = {10.1016/j.jlamp.2021.100744},
journal = {Journal of Logical and Algebraic Methods in Programming},
pages = {100744--100744},
title = {Book review},
url = {http://dx.doi.org/10.1016/j.jlamp.2021.100744},
volume = {125},
year = {2022}
}