Enviar registro por correo electrónico: Formal methods in architecture and urbanism /