Mark A. Lamport author data searchable via API