从LOTOS到LNT
休伯特·加拉维（Hubert Garavel）、弗雷德里克·朗（Frédéric Lang）和温德琳·塞维（Wendelin Serwe）
ModelEd、TestEd、TrustEd——在Ed Brinksma 60岁生日之际为他撰写的论文，计算机科学讲座笔记10500卷，第3-26页，2017年10月
摘要：我们重温了Ed Brinksma的早期出版物一方面，致力于形式的定义描述技术LOTOS（ISO国际标准8807:1989），用于指定通信协议和分布式系统，另一方面，还有两个提案（扩展LOTOS和模块化LOTOS），使LOTOS更简单和更具表现力的语言。我们研究如何科学地议程在过去几十年中一直在处理。我们审查LOTOS的不断增强导致了定义三种语言：E-LOTOS（ISO国际标准15437:2001），然后是LOTOS NT，最后是LNT。我们提供开发的软件实现（编译器和翻译器）并报告它们在各种语言中的使用应用程序域。
