Юзернейм, у тебя preview этой pdf-ки в фаерфоксе тоже кажит уебищные горизонтальные линии?
http://www.cs.utexas.edu/~wcook/papers/InheritanceSubtyping90/CookPOPL90.pdf