Dance Dance Convolution
Chris Donahue, Zachary C. Lipton, Julian McAuley
The Legend Of Koizumi 62
Unknown
Science of Concurrent Programs
Leslie Lamport
The Legend Of Koizumi 71
Specifying Systems: The TLA+ Language and Tools for Hardware ...