Encyclopedia of Computer Science, January 2003; refer to: https://dl.acm.org/doi/pdf/10.5555/1074100.1074312