An Industrial Experience on Development with LOTOS and SDL. - Gonzalo León; J. Carracedo; J. C. Moreno; Juan C. Yelmo; Juan J. Gil; Carlos Sánchez 002; F. Javier Carrasco (FORTE, 1993)

An Industrial Experience of Using an Incremental Model of Technology Transfer of Formal Development Methods. - Gonzalo León; J. Carracedo; Juan C. Yelmo; Carlos Sánchez 002; J. C. Moreno; Juan J. Gil; J. Carrasco (Diffusion, Transfer and Implementation of Information Technology, 1993)

Introducing SDL in the development of CORBA-compliant applications. - J. Carracedo; Carlos Ramos; Rubén de Diego; Carlos González; Juan José Gil; Emilo Rodríguez; Morgan Björkander (SDL Forum, 1997)