G. León
发表
Gonzalo León,
Juan C. Yelmo,
Carlos Sánchez,
1993,
Formal Techniques for (Networked and) Distributed Systems.
Carlos Delgado Kloos,
Gonzalo León,
G. González,
1989,
FORTE.
Juan Antonio de la Puente,
Gonzalo León,
Miguel A. de Miguel,
1995,
Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.