This is now www-formal.stanford.edu/jmc/child.html