2/12 Book chapter accepted: Guido de Caso, Victor Braberman, Diego Garbervetsky, and Sebastian Uchitel. Abstractions for validation in action.