The 8051/8031 cores are used in over 100 devices from 10 independent manufacturers such as Dallas, Philips and Atmel.
See also:
This article (or an earlier version of it) contains material from FOLDOC, used with permission.
wikipedia.org dumped 2003-03-17 with terodump