Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types. - Ricardo Pena; Luis M. Alonso (TAPSOFT, Vol.2, 1989)

Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems. - Luis M. Alonso; Ricardo Pena (PARLE (2), 1991)

Using State Variables for the Specification and Verfication of TCSP Processes. - Luis M. Alonso (PARLE, 1993)

A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions. - Ricardo Pena; Luis M. Alonso (TAPSOFT, 1993)

From page-centric to portlet-centric Web development: Easing the transition using MDD. - Oscar Díaz 001; Arantza Irastorza; Jesús Sánchez Cuadrado; Luis M. Alonso (Inf. Softw. Technol., 2008)

A Preliminary General Testing Method Based on Genetic Algorithms. - Luis M. Alonso; Pablo Rabanal; Ismael Rodríguez 001 (IWANN (2), 2011)