van Eijk, PHJ; CA Vissers; M Diaz, editors. The Formal Description Technique LOTOS - results of the ESPRIT/SEDOS Project. North Holland, Elsevier Science Publishers, NY 1989; 451 pages, diagrams. Price: $10.00 Add to Cart Item Details Ask a Question