Applications of Formal Autoencoders - Ariel Fernández (Taylor and Francis, 2025)