| 1989 | Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988 Kenneth J. Turner |
| 1988 | A LISP-Based LOTOS Environment. Günter Karjoth |
| 1988 | A LOTOS to PARLOG Translator. David R. Gilbert |
| 1988 | An Approach to providing Support Tools for Formal Specification. J. J. Masterson, K. P. Ishaq, A. T. Hockley |
| 1988 | An Object-Oriented Model for ASN.1. Philip Gaudette, Steve Trus, Sarah Collins |
| 1988 | An Object-Oriented Model for Estelle. Rachid Sijelmassi, Philip Gaudette |
| 1988 | Application of Formal Description Techniques to Conformance Evaluation. Jean Philippe Favreau, Richard J. Linn Jr., Philip Gaudette |
| 1988 | Derivation of Useful Execution Trees from LOTOS by using an Interpreter. Renaud Guillemot, Luigi Logrippo |
| 1988 | ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 1988 | EWS - An Integrated Workstation for the Design and the Automatic Generation of Distributed Software. Jean-Michel Ayache, Jean Dufau, Michel Huybrechts, Eric Mattera |
| 1988 | From LOTOS to C. José A. Mañas, Tomás de Miguel |
| 1988 | Graphical Views of Process-Orientated Specifications. David W. Bustard, Adam C. Winstanley, Mark T. Norris, Rodney A. Orr, S. Patel |
| 1988 | LOTOS-Supported System Development. Kees Bogaards |
| 1988 | LOTTE - A LOTOS Environment. Wilfried H. P. van Hulzen |
| 1988 | Modelling OSI in SDL. Ferenc Belina, Dieter Hogrefe, Sebastiano Triglia |
| 1988 | Non-Determinism and SDL. Dieter Hogrefe, Amardeo Sarma |
| 1988 | On the Use of LOTOS for the Formal Description of a Transport Protocol. Jeroen van de Lagemaat, Giuseppe Scollo |
| 1988 | SDS - A LOTOS-Based Tool for Symbolic Debugging. Francesco Costa, Daniela Nardi, Roberto Rinaldi |
| 1988 | SDT - The SDL Design Tool. Michael Atlevi |
| 1988 | SPIDER - Service and Protocol Interactive Development Environment. Stuart G. Johnston |
| 1988 | Specification of Object-Oriented Systems in LOTOS. Thomas Mayr |
| 1988 | Specifying ROSE in LOTOS. David Freestone, Sukhvinder S. Aujla |
| 1988 | Squiggles - A Tool for the Analysis of LOTOS Specifications. Tommaso Bolognesi, Maurizio Caneve |
| 1988 | The Application of LOTOS for the Formal Description of the ISO Session Layer. Marten van Sinderen, Ibrahim Ajubi, Fausto Caneschi |
| 1988 | The Boyer-Moore Theorem-Prover and LOTOS. Sukhvinder S. Aujla, Matthew Fletcher |
| 1988 | Transformation from LOTOS Specifications to Galileo Nets. Saturnino Marchena Rodriguez, Gonzalo León |
| 1988 | Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. Juan Quemada, Santiago Pavón, Angel Fernández |
| 1988 | Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol. Marc Phalippou, Roland Groz |
| 1988 | Validation of the Ferry-Clip Local Testing System using an Estelle-C Compiler. Son T. Vuong, Wendy Y. L. Chan |