@inproceedings{HCI-CCAD-1999-Puerta,
	author        = "Angel R. Puerta",
	booktitle     = "{Proceedings of the Eighth International Conference on Human-Computer Interaction. Volume 2: Communication, Cooperation, and Application Design}",
	isbn          = "0-8058-3392-7",
	pages         = "908--912",
	publisher     = "{Lawrence Erlbaum}",
	title         = "{Formalization as a path to universal accessibility}",
	year          = 1999,
}