The SEDOS LOTOS Book

P. van Eijk, C. Vissers and M. Diaz. The formal description Technique LOTOS, results of the ESPRIT/SEDOS project, North-Holland, Amsterdam, 1989. 451 pages.

The book is still available through North-Holland, the ISBN number is 0-444-87267-1.

The preface and the table of contents are available on-line. Also available is "The Design of a Simulator Tool" by Peter van Eijk.