Isabelle Attali, Tomás Barros, Eric Madelaine. Parameterized Specification and Verification of the Chilean Electronic Invoices System. In XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 11-12 November 2004, Arica, Chile. pages 14-25, IEEE Computer Society, 2004. [doi]