%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/

%% Created for Stefano Russo at 2022-01-29 17:29:21 +0100 


%% Saved with string encoding Unicode (UTF-8) 



@article{knuth1989,
	Ages = {607--685},
	Author = {Knuth, D.E.},
	Date-Modified = {2022-01-29 16:29:00 +0000},
	Journal = {Software: Practice and Experience},
	Number = {7},
	Title = {{The errors of TEX}},
	Volume = {19},
	Year = {1989}}
