@techreport{deferriere96-linux, author = {de~Ferri{\`e}re, Fran\c{c}ois and Roy, Fred}, % TODO title = {Validation of {TenDRA} capability to implement a set of commands for the {Linux} operating system}, institution = {Open Software Foundation Research Institute}, month = {7}, year = {1996}, url = {http://www.tendra.org/reports-linux-validation}, }