A Falsification View of Success Typing
Robert Jakob & Peter Thiemann
The Game
Paul Bagosy
Friday
Robert A. Heinlein
The Legend Of Koizumi 18
Unknown
Mathematics for Computer Science
Eric Lehman & F. Thomson Leighton & Albert R. Meyer