L. :. Lamport
,
A Document Preparation System
,
1994
.