@inproceedings{aan08,
author="C. Andr{\'e}s and R.G. Aranda and {M.} {N}{\'u}{\~n}ez",
title="Using formal methods to develop a complex information system: a practical/theoretical experience",
booktitle="23rd ACM Symp. on Applied Computing, SAC'08",
pages="848--849",
year="2008",
publisher="ACM Press"}