| 1989 | UO-GLOTOS: A Syntax/System for Representing, Editing and Translating Graphical LOTOS. | T. Y. Cheung, Y. C. Ye, X. Ye, G. Q. Wang |
| 1989 | Automatic Translation of SDL Specifications to Implementation Based on Syntactic Transformation. | Kong E. Cheng, Lindsay N. Jackson |
| 1989 | A New User's Experiences and Impressions with Estelle. | Samuel C. Chamberlain, Paul D. Amer |
| 1989 | Object-Z: An Object-Oriented Extension to Z. | David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith |
| 1989 | A Formal Specification, in LOTOS, of a Simplified Cellular Mobile Communication System. | Richard C. Cam, Son T. Vuong |
| 1989 | Specification Modules in LOTOS. | Ed Brinksma |
| 1989 | An Evaluation of the LCF Theorem Prover using LOTOS. | Rob Booth |
| 1989 | On the Distributed Implementation of LOTOS. | Gregor von Bochmann, Qiang Gao, Cheng Wu |
| 1989 | Yet another FDT ? An Introduction to CHILL-S. | Ansgar Bergmann, Uwe Janen |
| 1989 | SDT - a Real-Time CASE Tool for the CCITT Specification Language SDL. | Michael Atlevi |
| 1989 | COOPER - The Compositional Construction of a Canonical Tester. | Rudie Alderden |
| 1988 | Validation of the Ferry-Clip Local Testing System using an Estelle-C Compiler. | Son T. Vuong, Wendy Y. L. Chan |
| 1988 | The Application of LOTOS for the Formal Description of the ISO Session Layer. | Marten van Sinderen, Ibrahim Ajubi, Fausto Caneschi |
| 1988 | An Object-Oriented Model for Estelle. | Rachid Sijelmassi, Philip Gaudette |
| 1988 | ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. | Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 1988 | Transformation from LOTOS Specifications to Galileo Nets. | Saturnino Marchena Rodriguez, Gonzalo Len |
| 1988 | Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. | Juan Quemada, Santiago Pavn, Angel Fernndez |
| 1988 | Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol. | Marc Phalippou, Roland Groz |
| 1988 | Specification of Object-Oriented Systems in LOTOS. | Thomas Mayr |
| 1988 | An Approach to providing Support Tools for Formal Specification. | J. J. Masterson, K. P. Ishaq, A. T. Hockley |
| 1988 | From LOTOS to C. | Jos A. Maas, Toms de Miguel |
| 1988 | On the Use of LOTOS for the Formal Description of a Transport Protocol. | Jeroen van de Lagemaat, Giuseppe Scollo |
| 1988 | A LISP-Based LOTOS Environment. | Gnter Karjoth |
| 1988 | SPIDER - Service and Protocol Interactive Development Environment. | Stuart G. Johnston |
| 1988 | LOTTE - A LOTOS Environment. | Wilfried H. P. van Hulzen |