日本電気2019年度C&C賞受賞者はランポートだった

今更知ってしまった。
https://www.candc.or.jp/kensyo/2019/group_b.html
もちろん受賞理由に、もちろんLaTeXはない。でもチューリング賞を受賞した後なので、不思議ではない。

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

• 作者: Lamport, Leslie
• 出版社/メーカー: Addison-Wesley Professional
• 発売日: 2002/07/19
• メディア: ペーパーバック

Concurrency: The Works of Leslie Lamport (Acm Books)

• 出版社/メーカー: Morgan & Claypool
• 発売日: 2019/09/16
• メディア: ペーパーバック