1987
Validación de protocolos, una aproximación algebraica.
PhD thesis, 1987

1985
An approach for evaluating formal description techniques.
Proceedings of the Protocol Specification, 1985