Legend of Koizumi XLG-RH v1 c01
Unknown
It's Elementary, Dear Watson: Applying Logic Programming To ...
Dr. Alva L. Couch & Michael Gilfix
Working Effectively With Legacy Code
Michael Feathers
The Legend Of Koizumi 27
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport