publicaciones seleccionadas documento Declarative Visual Programming with Invariant, Pre- and Post-conditions for Lattice Approximation of 3D Models 2024