Encyclopedia of computer science (Van Nostrand Reinhold, 1993)