Teaching Them Early: Formal Methods in School - Faron Moller (Springer International Publishing, 2021)