Word Division in Spanish. - José A. Mañas (Commun. ACM, 1987)

From LOTOS to C. - José A. Mañas; Tomás de Miguel (FORTE, 1988)

Lambda-beta: A Virtual LOTOS Machine. - José A. Mañas; Joaquín Salvachúa (FORTE, 1991)

Tool Demonstration: A Cross Compiling Experiment: A PC Implementation of a LOTOS Spec. - José A. Mañas; Joaquín Salvachúa; Tomás de Miguel (FORTE, 1991)

Specification and Derivation of OSI Conformance Test Suites. - Tomás Robles 001; José A. Mañas; Gabriel Huecas (Protocol Test Systems, 1992)

Tool Support to Implement LOTOS Formal Specifications. - José A. Mañas; Tomás de Miguel; Joaquín Salvachúa; Arturo Azcorra (Comput. Networks ISDN Syst., 1993)