[Oleg Lobachev  Michael Haritonov], 04 Dec 02 22:50

 OL>>> Yap. By Donald E. Knuth. It's not WYSIWYG, and it's good so.
 MH>> Oh, my God!.. He even could make his footprints even there?!
 OL> Yes. He needed it for TAOCP... =)
 MH>> I knew hiw as a father (a grandfather was E. Dijkstra) of hardware
 MH>> verification) :)
 OL> Errr... _Hardware_ verification?

Yep. What's wrong?

        Best wishes,
                     Mix.

--- Снесла курочка дедушке 1.1.4.4 сами знаете что..