Monads for functional programming
Philip Wadler
An Increasingly Less-Brief Guide to Mastodon
Unknown
The Legend Of Koizumi 92
Answers in the Heart
Anonymous
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport