J. C. Bradfield

• Verifying temporal properties of systems
• A dictionary of Quenya
• A dictionary of Quenya and Proto-Eldarin and Ante-Quenya, with an index