"How hard is he willing to work? He can start by going over the 8051 family documents referenced here often (a search on "erik" will find them!), and go over the tutorial here as well."

They can be downloaded from:
http://www.semiconductors.philips.com/products/...other.html

Have fun,

Erik