Intuitionistic Type Theory
Per Martin-Lof
Multiplayer Game Programming: Architecting Networked Games / ...
Josh Glazer & Sanjay Madhav
Game Design (1)
Stand on Zanzibar
John Brunner
Linkers and Loaders
John R. Levine
First as Tragedy, then as Farce
Slavoj Zizek