এই পাঠটি: The Formal description technique Lotos : results of the ESPRIT/SEDOS Project / edited by Peter H.J. van Eijk, Chris A. Vissers, Michel Diaz.