Magic of Faerun
Unknown
Programming Elm
Jeremy Fairbank
The Legend Of Koizumi 55
Eternal Forest
Faith Naff
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport